(StringBuilder ret)
| 742 | } |
| 743 | |
| 744 | private String digits(StringBuilder ret) { |
| 745 | for (char p = peek(); Character.isDigit(p); p = peek()) { |
| 746 | ret.append(advance()); |
| 747 | } |
| 748 | return ret.toString(); |
| 749 | } |
| 750 | |
| 751 | private Token advanceMatching(String next, boolean caseMatters, TokenType type) throws ParseException { |
| 752 | if (!caseMatters) { |