1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
| int "-"?([0-9]|[1-9][0-9]+)
| exp [eE][-+]?[0-9]+
| frac "."[0-9]+
|
| %%
| \s+ /* skip whitespace */
|
| {int}{frac}?{exp}?\b return 'NUMBER'
| \"(?:'\\'[\\"bfnrt/]|'\\u'[a-fA-F0-9]{4}|[^\\\0-\x09\x0a-\x1f"])*\" yytext = yytext.substr(1,yyleng-2); return 'STRING'
|
| "{" return '{'
| "}" return '}'
| "[" return '['
| "]" return ']'
| "," return ','
| ":" return ':'
| "true" return 'TRUE'
| "false" return 'FALSE'
| "null" return 'NULL'
| <<EOF>> return 'EOF'
| . return 'INVALID'
|
| %%
|
|
