treerack/json.parser

13 lines
499 B
Plaintext
Raw Normal View History

2017-06-25 17:51:08 +02:00
// JSON (http://www.json.org)
2017-07-17 04:23:29 +02:00
ws:ws = [ \b\f\n\r\t];
2017-06-25 17:51:08 +02:00
true = "true";
false = "false";
null = "null";
2017-07-17 04:23:29 +02:00
string:nows = "\"" ([^\\"\b\f\n\r\t] | "\\" (["\\/bfnrt] | "u" [0-9a-f]{4}))* "\"";
number:nows = "-"? ("0" | [1-9][0-9]*) ("." [0-9]+)? ([eE] [+\-]? [0-9]+)?;
entry = string ":" value;
object = "{" (entry ("," entry)*)? "}";
array = "[" (value ("," value)*)? "]";
2017-06-25 17:51:08 +02:00
value:alias = true | false | null | string | number | object | array;
2017-07-17 04:23:29 +02:00
json:root = value;