java/util/Scanner.java

322     private Pattern delimPattern;
534         delimPattern = pattern;
537         matcher = delimPattern.matcher(buf);
868         matcher.usePattern(delimPattern);
905         matcher.usePattern(delimPattern);
1122         return delimPattern;
1133         delimPattern = pattern;
1153         delimPattern = patternCache.forName(pattern);
1315         sb.append("[delimiters=" + delimPattern + "]");
2677         delimPattern = WHITESPACE_PATTERN;