Searched refs:groupSeparator (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/java/util/
H A DScanner.java437 private String groupSeparator = "\\,"; field in class:Scanner
474 groupSeparator+digit+digit+digit+")+)";
525 groupSeparator+digit+digit+digit+")+)";
1236 groupSeparator = "\\" + dfs.getGroupingSeparator();
1358 sb.append("[group separator=" + groupSeparator + "]");
2085 String result = token.replaceAll(""+groupSeparator, "");
2284 String result = token.replaceAll(groupSeparator, "");

Completed in 34 milliseconds