Lines Matching defs:stripPrefix
918 String workText = stripPrefix(text, ruleText.substring(0, sub1Pos), pp);
950 // First we use stripPrefix() to match "first " in both places and
1074 private String stripPrefix(String text, String prefix, ParsePosition pp) {
1218 * Used by stripPrefix() to match characters. If lenient parse mode
