src/share/classes/com/sun/tools/doclint/HtmlTag.java

changeset 1964
79e341614c50
parent 1793
391f97e270c2
child 1976
b77381d99056
     1.1 --- a/src/share/classes/com/sun/tools/doclint/HtmlTag.java	Tue Aug 20 14:46:54 2013 -0700
     1.2 +++ b/src/share/classes/com/sun/tools/doclint/HtmlTag.java	Tue Aug 20 14:55:20 2013 -0700
     1.3 @@ -30,6 +30,7 @@
     1.4  import java.util.EnumMap;
     1.5  import java.util.EnumSet;
     1.6  import java.util.HashMap;
     1.7 +import java.util.Locale;
     1.8  import java.util.Map;
     1.9  
    1.10  import javax.lang.model.element.Name;
    1.11 @@ -345,7 +346,7 @@
    1.12          WIDTH;
    1.13  
    1.14          public String getText() {
    1.15 -            return name().toLowerCase();
    1.16 +            return toLowerCase(name());
    1.17          }
    1.18  
    1.19          static final Map<String,Attr> index = new HashMap<String,Attr>();
    1.20 @@ -424,11 +425,11 @@
    1.21      }
    1.22  
    1.23      public String getText() {
    1.24 -        return name().toLowerCase();
    1.25 +        return toLowerCase(name());
    1.26      }
    1.27  
    1.28      public Attr getAttr(Name attrName) {
    1.29 -        return Attr.index.get(attrName.toString().toLowerCase());
    1.30 +        return Attr.index.get(toLowerCase(attrName.toString()));
    1.31      }
    1.32  
    1.33      public AttrKind getAttrKind(Name attrName) {
    1.34 @@ -450,6 +451,10 @@
    1.35      }
    1.36  
    1.37      static HtmlTag get(Name tagName) {
    1.38 -        return index.get(tagName.toString().toLowerCase());
    1.39 +        return index.get(toLowerCase(tagName.toString()));
    1.40 +    }
    1.41 +
    1.42 +    private static String toLowerCase(String s) {
    1.43 +        return s.toLowerCase(Locale.US);
    1.44      }
    1.45  }

mercurial