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

Definition

value = false / null / true / number / string

true = %x74.72.75.65

string = quotation-mark *char quotation-mark

quotation-mark = %x22

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

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

escape = %x5c

number = [minus] int [frac] [exp]

int = zero / (digit1-9 *DIGIT)

zero = %x30

digit1-9 = %x31-39

frac = decimal-point 1*DIGIT

decimal-point = %x2e

exp = e [minus / plus] 1*DIGIT

plus = %x2b

minus = %x2d

e = %x65 / %x45

null = %x6e.75.6c.6c

false = %x66.61.6c.73.65

    

Info

Rulename

value

Dependencies

false, null, DIGIT, e, minus, plus, exp, decimal-point, frac, digit1-9, zero, int, number, HEXDIG, escape, unescaped, char, quotation-mark, string, true, value

Used Builtins

DIGIT, HEXDIG

Alphabet

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

Translations

true|null|false|"([ -!#-\[\]-\u{10FFFF}]|\\["/\bfnrt]|\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f])*"|(|-)0(|[Ee](|[+\-])[0-9][0-9]*|\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*))|(|-)[1-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*|\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*))

true|null|false|"([ -!#-\[\]-\u{10FFFF}]|\\["/\bfnrt]|\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f])*"|(|-)0(|[Ee](|[+\-])[0-9][0-9]*|\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*))|(|-)[1-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*|\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*))