Searched refs:CHARTYPE_DIGIT (Results 1 - 3 of 3) sorted by relevance

/openjdk7/jaxp/src/com/sun/org/apache/xerces/internal/xpointer/
H A DElementSchemePointer.java687 CHARTYPE_DIGIT = 5, // '0'-'9' (0x30 to 0x39) field in class:ElementSchemePointer.Scanner
783 case CHARTYPE_DIGIT:
850 && chartype != CHARTYPE_DIGIT
H A DXPointerHandler.java636 CHARTYPE_DIGIT = 9, // '0'-'9' (0x30 to 0x39) field in class:XPointerHandler.Scanner
740 case CHARTYPE_DIGIT:
888 && chartype != CHARTYPE_DIGIT
/openjdk7/jaxp/src/com/sun/org/apache/xerces/internal/impl/xpath/
H A DXPath.java1250 CHARTYPE_DIGIT = 14, // '0'-'9' (0x30 to 0x39) field in class:XPath.Scanner
1596 case CHARTYPE_DIGIT:
1928 if (chartype != CHARTYPE_LETTER && chartype != CHARTYPE_DIGIT &&

Completed in 556 milliseconds