Lines Matching defs:symbols
84 * <em>symbols</em>. The pattern may be set directly using
86 * symbols are stored in a <code>DecimalFormatSymbols</code> object. When using
87 * the <code>NumberFormat</code> factory methods, the pattern and symbols are
141 * <p>The prefixes, suffixes, and various symbols used for infinity, digits,
144 * be taken that the symbols and strings do not conflict, or parsing will be
389 * Creates a DecimalFormat using the default pattern and symbols
413 // Always applyPattern after the symbols are set
414 this.symbols = DecimalFormatSymbols.getInstance(def);
420 * Creates a DecimalFormat using the given pattern and the symbols
439 // Always applyPattern after the symbols are set
440 this.symbols = DecimalFormatSymbols.getInstance(Locale.getDefault(Locale.Category.FORMAT));
446 * Creates a DecimalFormat using the given pattern and symbols.
457 * @param symbols the set of symbols to be used
466 public DecimalFormat (String pattern, DecimalFormatSymbols symbols) {
467 // Always applyPattern after the symbols are set
468 this.symbols = (DecimalFormatSymbols)symbols.clone();
568 result.append(symbols.getNaN());
600 result.append(symbols.getInfinity());
1034 fastPathData.zeroDelta = symbols.getZeroDigit() - '0';
1035 fastPathData.groupingChar = symbols.getGroupingSeparator();
1080 ? symbols.getMonetaryDecimalSeparator()
1081 : symbols.getDecimalSeparator();
1659 char zero = symbols.getZeroDigit();
1661 char grouping = symbols.getGroupingSeparator();
1663 symbols.getMonetaryDecimalSeparator() :
1664 symbols.getDecimalSeparator();
1793 result.append(symbols.getExponentSeparator());
1809 result.append(symbols.getMinusSign());
2039 if (text.regionMatches(pos.index, symbols.getNaN(), 0, symbols.getNaN().length())) {
2040 pos.index = pos.index + symbols.getNaN().length();
2215 if (!isExponent && text.regionMatches(position,symbols.getInfinity(),0,
2216 symbols.getInfinity().length())) {
2217 position += symbols.getInfinity().length();
2220 // We now have a string of digits, possibly with grouping symbols,
2228 char zero = symbols.getZeroDigit();
2230 symbols.getMonetaryDecimalSeparator() :
2231 symbols.getDecimalSeparator();
2232 char grouping = symbols.getGroupingSeparator();
2233 String exponentString = symbols.getExponentSeparator();
2314 if (subparse(text, pos, "", Character.toString(symbols.getMinusSign()), exponentDigits, true, stat) &&
2393 * Returns a copy of the decimal format symbols, which is generally not
2401 return (DecimalFormatSymbols) symbols.clone();
2409 * Sets the decimal format symbols, which is generally not changed
2417 symbols = (DecimalFormatSymbols) newSymbols.clone();
2719 other.symbols = (DecimalFormatSymbols) symbols.clone();
2777 && symbols.equals(other.symbols);
2814 * called any time the symbols or the affix patterns change in order to keep
2863 buffer.append(symbols.getInternationalCurrencySymbol());
2865 buffer.append(symbols.getCurrencySymbol());
2869 c = symbols.getPercent();
2872 c = symbols.getPerMill();
2875 c = symbols.getMinusSign();
2914 string = symbols.getInternationalCurrencySymbol();
2916 string = symbols.getCurrencySymbol();
2930 c = symbols.getPercent();
2935 c = symbols.getPerMill();
2940 c = symbols.getMinusSign();
3007 c = symbols.getPercent();
3010 c = symbols.getPerMill();
3013 c = symbols.getMinusSign();
3030 needQuote = affix.indexOf(symbols.getZeroDigit()) >= 0
3031 || affix.indexOf(symbols.getGroupingSeparator()) >= 0
3032 || affix.indexOf(symbols.getDecimalSeparator()) >= 0
3033 || affix.indexOf(symbols.getPercent()) >= 0
3034 || affix.indexOf(symbols.getPerMill()) >= 0
3035 || affix.indexOf(symbols.getDigit()) >= 0
3036 || affix.indexOf(symbols.getPatternSeparator()) >= 0
3037 || affix.indexOf(symbols.getMinusSign()) >= 0
3077 result.append(localized ? symbols.getGroupingSeparator() :
3081 ? (localized ? symbols.getZeroDigit() : PATTERN_ZERO_DIGIT)
3082 : (localized ? symbols.getDigit() : PATTERN_DIGIT));
3085 result.append(localized ? symbols.getDecimalSeparator() :
3089 result.append(localized ? symbols.getZeroDigit() :
3092 result.append(localized ? symbols.getDigit() :
3098 result.append(localized ? symbols.getExponentSeparator() :
3101 result.append(localized ? symbols.getZeroDigit() :
3113 negativePrefix.equals(symbols.getMinusSign() + positivePrefix)))
3116 result.append(localized ? symbols.getPatternSeparator() :
3190 zeroDigit = symbols.getZeroDigit();
3191 groupingSeparator = symbols.getGroupingSeparator();
3192 decimalSeparator = symbols.getDecimalSeparator();
3193 percent = symbols.getPercent();
3194 perMill = symbols.getPerMill();
3195 digit = symbols.getDigit();
3196 separator = symbols.getPatternSeparator();
3197 exponent = symbols.getExponentSeparator();
3198 minus = symbols.getMinusSign();
3218 // percent, per mille, and currency symbols are recognized and
3390 "symbols in pattern \"" + pattern + '"');
3651 * on this number format's symbols.
3658 return symbols.getCurrency();
3667 * on this number format's symbols.
3675 if (currency != symbols.getCurrency()) {
3676 symbols.setCurrency(currency);
3842 * <code>symbols</code>. If this variable is <code>null</code> then
3844 * change when <code>symbols</code> changes. This variable is always
3932 * It contains the symbols used to format numbers, e.g. the grouping separator,
3939 private DecimalFormatSymbols symbols = null; // LIU new DecimalFormatSymbols();