src/java.management.rest/share/classes/com/oracle/jmx/remote/rest/json/parser/JsonParser.jj
equal
deleted
inserted
replaced
83 | < #FRAC: "." <DIGITS>> |
83 | < #FRAC: "." <DIGITS>> |
84 | < #EXPONENT: ["e","E"] (["+","-"])? <DIGITS> > |
84 | < #EXPONENT: ["e","E"] (["+","-"])? <DIGITS> > |
85 | < #DIGITS : (<DIGIT>)+> |
85 | < #DIGITS : (<DIGIT>)+> |
86 | < #DIGIT: ["0"-"9"]> |
86 | < #DIGIT: ["0"-"9"]> |
87 | <QUOTED_STRING: "\"" ((~["\"","\\"]) | ("\\" ( ["n","t","b","r","f","\\","\""])))* "\""> |
87 | <QUOTED_STRING: "\"" ((~["\"","\\"]) | ("\\" ( ["n","t","b","r","f","\\","\""])))* "\""> |
88 | <BOOL_LITERAL : "true" | "false"> |
88 | <BOOL_LITERAL : "true" | "false"> |
89 | <NULL: "null"> |
89 | <NULL: "null"> |
90 } |
90 } |
91 |
91 |
92 JSONElement jsonValue() : { |
92 JSONElement jsonValue() : { |
93 JSONElement x; |
93 JSONElement x; |