--- a/make/data/characterdata/CharacterData00.java.template Thu Sep 05 16:26:53 2019 -0700
+++ b/make/data/characterdata/CharacterData00.java.template Thu Sep 05 17:38:54 2019 -0700
@@ -115,13 +115,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) {