Searched defs:CHARTYPE_DIGIT (Results 1 - 3 of 3) sorted by relevance
| /openjdk10/jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/xpointer/ | ||
| H A D | ElementSchemePointer.java | 677 CHARTYPE_DIGIT = 5, // '0'-'9' (0x30 to 0x39) field in class:ElementSchemePointer.Scanner |
| H A D | XPointerHandler.java | 643 CHARTYPE_DIGIT = 9, // '0'-'9' (0x30 to 0x39) field in class:XPointerHandler.Scanner |
| /openjdk10/jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/xpath/ | ||
| H A D | XPath.java | 1253 CHARTYPE_DIGIT = 14, // '0'-'9' (0x30 to 0x39) field in class:XPath.Scanner |
Completed in 59 milliseconds