Double-quoted strings
()
| 92 | |
| 93 | /** Double-quoted strings */ |
| 94 | private double(): StringToken | undefined { |
| 95 | const m = /^"([^"]*)" */.exec(this.str); |
| 96 | if (!m) return; |
| 97 | this.skip(m); |
| 98 | return { type: 'string', quote: '"', string: `"${m[1]}"`, value: m[1] }; |
| 99 | } |
| 100 | |
| 101 | /** Single-quoted strings */ |
| 102 | private single(): StringToken | undefined { |