From catalog/rfc8259-json-object.abnf rule: char

Definition

char = unescaped / escape (%x22 / %x5c / %x2f / %x62 / %x66 / %x6e / %x72 / %x74 / %x75 4HEXDIG)

unescaped = %x20-21 / %x23-5b / %x5d-10ffff

escape = %x5c

    

Info

Rulename

char

Dependencies

HEXDIG, escape, unescaped, char

Used Builtins

HEXDIG

Alphabet

• ␠…! #…. :…@ G…[ ]…` g…m o…q s v…U+10FFFF
• "
• / n r t
• 0…9 A…F a c…e
• \
• b f
• u

Translations

[ -!#-\[\]-\u{10FFFF}]|\\["/\bfnrt]|\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]

[ -!#-\[\]-\u{10FFFF}]|\\["/\bfnrt]|\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]