time/format/DateTimeFormatter.java

523     private final DecimalStyle decimalStyle;
1408      * @param decimalStyle  the DecimalStyle to use, not null
1415             Locale locale, DecimalStyle decimalStyle,
1421         this.decimalStyle = Objects.requireNonNull(decimalStyle, "decimalStyle");
1455         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, resolverFields, chrono, zone);
1465         return decimalStyle;
1473      * @param decimalStyle  the new DecimalStyle, not null
1476     public DateTimeFormatter withDecimalStyle(DecimalStyle decimalStyle) {
1477         if (this.decimalStyle.equals(decimalStyle)) {
1480         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, resolverFields, chrono, zone);
1534         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, resolverFields, chrono, zone);
1591         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, resolverFields, chrono, zone);
1633         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, resolverFields, chrono, zone);
1699         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, fields, chrono, zone);
1748         return new DateTimeFormatter(printerParser, locale, decimalStyle, resolverStyle, resolverFields, chrono, zone);