Changeset 14481 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2018-12-01T22:33:38+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj
r12987 r14481 166 166 { 167 167 < IDENT: ["a"-"z","A"-"Z","_"] ( ["a"-"z","A"-"Z","_","-","0"-"9"] )* > 168 | < EXTIDENT: <MINUS> <IDENT> > 168 169 | < UINT: ( ["0"-"9"] )+ > 169 170 | < STRING: "\"" ( [" ","!","#"-"[","]"-"~","\u0080"-"\uFFFF"] | "\\\"" | "\\\\" )* "\"" > … … 283 284 { 284 285 ( 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); }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); } 286 287 | 287 288 pp_w1() … … 906 907 ) 907 908 | 909 <EXTIDENT> w() <COLON> w() expression() <SEMICOLON> w() 910 | 908 911 key=<IDENT> w() <COLON> w() 909 912 (
Note:
See TracChangeset
for help on using the changeset viewer.