()
| 765 | } |
| 766 | |
| 767 | private Token stringToken() { |
| 768 | StringBuilder lit = new StringBuilder(); |
| 769 | for (char p = advance(); p != '"'; p = advance()) { |
| 770 | if (p == '\\') { |
| 771 | escape(lit); |
| 772 | } else { |
| 773 | lit.append(p); |
| 774 | } |
| 775 | } |
| 776 | return token(TokenType.STRING, lit.toString()); |
| 777 | } |
| 778 | |
| 779 | private void escape(StringBuilder lit) { |
| 780 | char p = advance(); |