make/data/characterdata/CharacterData01.java.template
changeset 58028 7ac4273bb49b
parent 55013 8dae495a59e7
equal deleted inserted replaced
58027:930551e8ac62 58028:7ac4273bb49b
   112         int props = getProperties(ch);
   112         int props = getProperties(ch);
   113         return ((props & $$nonzeroJavaPart) != 0);
   113         return ((props & $$nonzeroJavaPart) != 0);
   114     }
   114     }
   115 
   115 
   116     boolean isUnicodeIdentifierStart(int ch) {
   116     boolean isUnicodeIdentifierStart(int ch) {
   117         int props = getProperties(ch);
   117         return (getPropertiesEx(ch) & $$maskIDStart) != 0 ||
   118         return ((props & $$maskIdentifierInfo) == $$valueUnicodeStart);
   118                ch == 0x2E2F;
   119     }
   119     }
   120 
   120 
   121     boolean isUnicodeIdentifierPart(int ch) {
   121     boolean isUnicodeIdentifierPart(int ch) {
   122         int props = getProperties(ch);
   122         return (getPropertiesEx(ch) & $$maskIDContinue) != 0 ||
   123         return ((props & $$maskUnicodePart) != 0);
   123                isIdentifierIgnorable(ch) ||
       
   124                ch == 0x2E2F;
   124     }
   125     }
   125 
   126 
   126     boolean isIdentifierIgnorable(int ch) {
   127     boolean isIdentifierIgnorable(int ch) {
   127         int props = getProperties(ch);
   128         int props = getProperties(ch);
   128         return ((props & $$maskIdentifierInfo) == $$valueIgnorable);
   129         return ((props & $$maskIdentifierInfo) == $$valueIgnorable);