sketches/json.gzl

   1
   2 // Grammar for JSON, as defined at json.org.
   3
   4 @start object;
   5
   6 object   -> "{" (string ":" value) *(,) "}";
   7 array    -> "[" value *(,)              "]";
   8
   9 str_frag -> .chars=/[^\\"]+/ |
  10             .unicode_char=/\\u ([0-9A-Fa-f]{4})/ |
  11             .backslash_char=/\\[ntbr"\/\\]/;
  12 string   -> '"' str_frag* '"';
  13
  14 number   -> .sign="-"?
  15             .integer=/ 0 | ([1-9][0-9]*) /
  16             .decimal=/ \. [0-9]+ /?
  17             .exponent=/ [eE] [+-]? [0-9]+ /? ;
  18
  19 value    -> string | number | "true" | "false" | "null" | object | array;
  20
  21 whitespace -> .whitespace=/[\r\n\s\t]+/;
  22
  23 @allow whitespace object...string;