2023-09-24 16:08:41 +02:00
|
|
|
root ::= object
|
|
|
|
|
|
2023-12-17 06:01:23 +01:00
|
|
|
object ::= "{" ws ( string ":" ws value ("," ws string ":" ws value)* )? "}"
|
|
|
|
|
|
|
|
|
|
value ::= object | array | string | number | ("true" | "false" | "null") ws
|
2023-09-24 16:08:41 +02:00
|
|
|
|
2023-12-17 06:01:23 +01:00
|
|
|
array ::= "[" ws ( value ("," ws value)* )? "]" ws
|
2023-09-24 16:08:41 +02:00
|
|
|
|
2023-12-17 06:01:23 +01:00
|
|
|
string ::= "\"" ( [a-zA-Z0-9] )* "\"" ws
|
2023-09-24 16:08:41 +02:00
|
|
|
|
|
|
|
|
number ::= ("-"? ([0-9] | [1-9] [0-9]*)) ("." [0-9]+)? ([eE] [-+]? [0-9]+)? ws
|
|
|
|
|
|
2023-12-17 06:01:23 +01:00
|
|
|
|
2023-09-24 16:08:41 +02:00
|
|
|
ws ::= ([ \t\n] ws)?
|
