Searched refs:groupSeparator (Results 1 – 1 of 1) sorted by relevance
394 private String groupSeparator = "\\,"; field in Scanner438 groupSeparator+digit+digit+digit+")+)"; in buildIntegerPatternString()490 groupSeparator+digit+digit+digit+")+)"; in buildFloatAndDecimalPattern()1208 groupSeparator = "\\" + dfs.getGroupingSeparator(); in useLocale()1336 sb.append("[group separator=" + groupSeparator + "]"); in toString()2065 String result = token.replaceAll(""+groupSeparator, ""); in processIntegerToken()2264 String result = token.replaceAll(groupSeparator, ""); in processFloatToken()