1234567891011121314151617181920212223242526272829303132333435# This is the same as json.gbnf but we restrict whitespaces at the end of the root array# Useful for generating JSON arrays
root ::= arrvalue ::= object | array | string | number | ("true" | "false" | "null") ws
arr ::= "[\n" ws ( value (",\n" ws value)* )? "]"
object ::= "{" ws ( string ":" ws value ("," ws string ":" ws value)* )? "}" ws
array ::= "[" ws ( value ("," ws value)* )? "]" ws
string ::= "\"" ( [^"\\\x7F\x00-\x1F] | "\\" (["\\bfnrt] | "u" [0-9a-fA-F]{4}) # escapes )* "\"" ws
number ::= ("-"? ([0-9] | [1-9] [0-9]{0,15})) ("." [0-9]+)? ([eE] [-+]? [1-9] [0-9]{0,15})? ws
# Optional space: by convention, applied in this grammar after literal chars when allowedws ::= | " " | "\n" [ \t]{0,20}