Searched refs:tokText0 (Results 1 – 1 of 1) sorted by relevance
383 char tokText0 = tokText.charAt(0); // The token's first character. in buildToks() local388 if (Character.isWhitespace(tokText0)) { in buildToks()421 } else if (Character.isJavaIdentifierStart(tokText0) in buildToks()422 || Character.isDigit(tokText0) in buildToks()423 || (tokText0 == '.' && tokText.length() > 1 && Character.isDigit(tokText.charAt(1)))) { in buildToks()