Searched refs:JAVA_DIGIT (Results 1 – 2 of 2) sorted by relevance
131 public static final CharMatcher JAVA_DIGIT = new CharMatcher() { field in CharMatcher
669 return CharMatcher.JAVA_DIGIT.retainFrom(str); in stripNonDigits()