Returns a char matcher functionally equivalent to this one, but which may be faster to query than the original; your mileage may vary. Precomputation takes time and is likely to be worthwhile only if the precomputed matcher is queried many thousands of times. This method has no effect (r
()
| 544 | |
| 545 | |
| 546 | public CharMatcher precomputed() { |
| 547 | return Platform.precomputeCharMatcher(this); |
| 548 | } |
| 549 | |
| 550 | private static final int DISTINCT_CHARS = Character.MAX_VALUE - Character.MIN_VALUE + 1; |
| 551 |
no test coverage detected