Cross Reference: /openjdk7/jdk/src/share/classes/java/util/Scanner.java

Lines Matching defs:digits
428     // A pattern for non-ASCII digits
463     private String digits = "0123456789abcdefghijklmnopqrstuvwxyz";
467         String radixDigits = digits.substring(0, radix);
1897      * specific suffixes, then mapping non-ASCII digits into ASCII
1898      * digits via {@link Character#digit Character.digit}, prepending a
2003      * specific suffixes, then mapping non-ASCII digits into ASCII
2004      * digits via {@link Character#digit Character.digit}, prepending a
2081      * and suffixes, non ascii digits must be converted into ascii digits
2133      * specific suffixes, then mapping non-ASCII digits into ASCII
2134      * digits via {@link Character#digit Character.digit}, prepending a
2239      * specific suffixes, then mapping non-ASCII digits into ASCII
2240      * digits via {@link Character#digit Character.digit}, prepending a
2277      * and suffixes, non ascii digits must be converted into ascii digits
2280      * If there are non-ascii digits in the token these digits must
2306         // Translate non-ASCII digits
2362      * specific suffixes, then mapping non-ASCII digits into ASCII
2363      * digits via {@link Character#digit Character.digit}, prepending a
2429      * specific suffixes, then mapping non-ASCII digits into ASCII
2430      * digits via {@link Character#digit Character.digit}, prepending a
2533      * by removing all group separators, mapping non-ASCII digits into ASCII
2534      * digits via the {@link Character#digit Character.digit}, and passing the
2600      * by removing all group separators, mapping non-ASCII digits into ASCII
2601      * digits via the {@link Character#digit Character.digit}, and passing the