private static int skip1_PN_CHARS_U_or_digit_or_COLON(String str, int idx) { char ch = str.charAt(idx) ; if ( isPNChars_U(ch) ) return idx + 1 ; if ( isDigit(ch) ) return idx + 1 ; if ( ch == ':' ) return idx + 1 ; return -1 ; }
public static boolean isPNChars(int ch) { // PN_CHARS ::= PN_CHARS_U | '-' | [0-9] | #x00B7 | [#x0300-#x036F] | [#x203F-#x2040] return isPNChars_U(ch) || isDigit(ch) || ( ch == '-' ) || ch == 0x00B7 || r(ch, 0x300, 0x036F) || r(ch, 0x203F, 0x2040) ; }
public static boolean isPNChars(int ch) { // PN_CHARS ::= PN_CHARS_U | '-' | [0-9] | #x00B7 | [#x0300-#x036F] | [#x203F-#x2040] return isPNChars_U(ch) || isDigit(ch) || ( ch == '-' ) || ch == 0x00B7 || r(ch, 0x300, 0x036F) || r(ch, 0x203F, 0x2040); }