(char ch)
| 704 | } |
| 705 | |
| 706 | private Token numberToken(char ch) { |
| 707 | StringBuilder ret = new StringBuilder(); |
| 708 | integer(ch, ret); |
| 709 | String fract = fraction(); |
| 710 | if (fract.length() > 0) { |
| 711 | ret.append(fract); |
| 712 | digits(ret); |
| 713 | } |
| 714 | exponent(ret); |
| 715 | return token(TokenType.NUMBER, ret.toString()); |
| 716 | } |
| 717 | |
| 718 | private void exponent(StringBuilder ret) { |
| 719 | if (Character.toUpperCase(peek()) == 'E') { |