Changeset 9247 in josm for trunk/src/org/openstreetmap

Timestamp:

2016-01-01T22:34:11+01:00 (9 years ago)

Author:

simon04

Message:

fix #12267 - MapCSS conditions does not handle unquoted 0 value

Such as in [frequency=0].

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj

@@ -157 +157 @@
 {
     < IDENT: ["a"-"z","A"-"Z","_"] ( ["a"-"z","A"-"Z","_","-","0"-"9"] )* >
-|   < UINT: ["1"-"9"] ( ["0"-"9"] )* >
+|   < UINT: ( ["0"-"9"] )+ >
 |   < STRING: "\"" ( [" ","!","#"-"[","]"-"~","\u0080"-"\uFFFF"] | "\\\"" | "\\\\" )*  "\"" >
 |   < #PREDEFINED: "\\" ["d","D","s","S","w","W","b","B","A","G","Z","z"] >