Changeset 14489 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj
- Timestamp:
- 2018-12-02T15:30:24+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj
r14481 r14489 166 166 { 167 167 < IDENT: ["a"-"z","A"-"Z","_"] ( ["a"-"z","A"-"Z","_","-","0"-"9"] )* > 168 | < EXTIDENT: <MINUS> <IDENT> >169 168 | < UINT: ( ["0"-"9"] )+ > 170 169 | < STRING: "\"" ( [" ","!","#"-"[","]"-"~","\u0080"-"\uFFFF"] | "\\\"" | "\\\\" )* "\"" > … … 284 283 { 285 284 ( 286 (t=<PP_AND> | t=<PP_OR> | t=<PP_NOT> | t=<UINT> | t=<STRING> | t=<REGEX> | t=<LPAR> | t=<RPAR> | t=<COMMA> | t=<COLON> | t=<IDENT> | t=< EXTIDENT> | t=<PP_SOMETHING_ELSE>) { if (write) sb.append(t.image); }285 (t=<PP_AND> | t=<PP_OR> | t=<PP_NOT> | t=<UINT> | t=<STRING> | t=<REGEX> | t=<LPAR> | t=<RPAR> | t=<COMMA> | t=<COLON> | t=<IDENT> | t=<PP_SOMETHING_ELSE>) { if (write) sb.append(t.image); } 287 286 | 288 287 pp_w1() … … 907 906 ) 908 907 | 909 < EXTIDENT> w() <COLON> w() expression() <SEMICOLON> w()908 <MINUS> <IDENT> w() <COLON> w() expression() <SEMICOLON> w() 910 909 | 911 910 key=<IDENT> w() <COLON> w()
Note:
See TracChangeset
for help on using the changeset viewer.
