(char first, StringBuilder ret)
| 728 | } |
| 729 | |
| 730 | private String integer(char first, StringBuilder ret) { |
| 731 | ret.append(first); |
| 732 | digits(ret); |
| 733 | return ret.toString(); |
| 734 | } |
| 735 | |
| 736 | private String fraction() { |
| 737 | if (peek() == '.') { |
no test coverage detected