a9deeb2010-06-10Arne Goedeke %%{ machine JSOND; number_start = [\-+.] | digit; array_start = '['; mapping_start = '{'; string_start = '"'; json_true = 'true'; json_false = 'false'; json_null = 'null';
f242592017-12-21Bill Welliver  single_line_comment_start = '//'; multi_line_comment_start = '/*';
a9deeb2010-06-10Arne Goedeke  value_start = number_start | array_start | mapping_start | string_start | 'n' | 't' | 'f';
f242592017-12-21Bill Welliver  identifier = [a-zA-Z_][a-zA-Z_0-9]*; whitespace = [ \n\r\t]; myspace = whitespace|single_line_comment_start|multi_line_comment_start;
6b3ecf2016-11-15Arne Goedeke  unicode = (0 .. 0x10ffff) - (0x00 .. 0x1f) - (0xd800 .. 0xdfff);
a9deeb2010-06-10Arne Goedeke  }%%