equal
deleted
inserted
replaced
2550 private int width; |
2550 private int width; |
2551 private int precision; |
2551 private int precision; |
2552 private boolean dt = false; |
2552 private boolean dt = false; |
2553 private char c; |
2553 private char c; |
2554 |
2554 |
2555 // cache the line separator |
|
2556 private String ls; |
|
2557 |
|
2558 private int index(String s) { |
2555 private int index(String s) { |
2559 if (s != null) { |
2556 if (s != null) { |
2560 try { |
2557 try { |
2561 index = Integer.parseInt(s.substring(0, s.length() - 1)); |
2558 index = Integer.parseInt(s.substring(0, s.length() - 1)); |
2562 } catch (NumberFormatException x) { |
2559 } catch (NumberFormatException x) { |
2700 break; |
2697 break; |
2701 case Conversion.HASHCODE: |
2698 case Conversion.HASHCODE: |
2702 printHashCode(arg); |
2699 printHashCode(arg); |
2703 break; |
2700 break; |
2704 case Conversion.LINE_SEPARATOR: |
2701 case Conversion.LINE_SEPARATOR: |
2705 if (ls == null) |
2702 a.append(System.lineSeparator()); |
2706 ls = System.getProperty("line.separator"); |
|
2707 a.append(ls); |
|
2708 break; |
2703 break; |
2709 case Conversion.PERCENT_SIGN: |
2704 case Conversion.PERCENT_SIGN: |
2710 a.append('%'); |
2705 a.append('%'); |
2711 break; |
2706 break; |
2712 default: |
2707 default: |