Changeset 8404 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj

Timestamp:

2015-05-21T01:18:35+02:00 (8 years ago)

Author:

Don-vip

Message:

When doing a String.toLowerCase()/toUpperCase() call, use a Locale. This avoids problems with certain locales, i.e. Lithuanian or Turkish. See PMD UseLocaleWithCaseConversions rule and String.toLowerCase() javadoc.

File:

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

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

@@ -14 +14 @@
 import java.util.Collections;
 import java.util.List;
+import java.util.Locale;
 
 import org.openstreetmap.josm.Main;
@@ -388 +389 @@
     ( <PP_NOT> { invert = true; } pp_w() )?
     (
-            t=<IDENT> { mediatype = t.image.toLowerCase(); } pp_w()
+            t=<IDENT> { mediatype = t.image.toLowerCase(Locale.ENGLISH); } pp_w()
             ( <PP_AND> pp_w() e=pp_media_expression() { pass = pass && e; } pp_w() )*
         |