make/data/characterdata/CharacterData01.java.template
changeset 58028 7ac4273bb49b
parent 55013 8dae495a59e7
--- a/make/data/characterdata/CharacterData01.java.template	Thu Sep 05 16:26:53 2019 -0700
+++ b/make/data/characterdata/CharacterData01.java.template	Thu Sep 05 17:38:54 2019 -0700
@@ -114,13 +114,14 @@
     }
 
     boolean isUnicodeIdentifierStart(int ch) {
-        int props = getProperties(ch);
-        return ((props & $$maskIdentifierInfo) == $$valueUnicodeStart);
+        return (getPropertiesEx(ch) & $$maskIDStart) != 0 ||
+               ch == 0x2E2F;
     }
 
     boolean isUnicodeIdentifierPart(int ch) {
-        int props = getProperties(ch);
-        return ((props & $$maskUnicodePart) != 0);
+        return (getPropertiesEx(ch) & $$maskIDContinue) != 0 ||
+               isIdentifierIgnorable(ch) ||
+               ch == 0x2E2F;
     }
 
     boolean isIdentifierIgnorable(int ch) {