Number tokens, either float or int
()
| 87 | |
| 88 | /** Number tokens, either float or int */ |
| 89 | private number(): NumberToken | undefined { |
| 90 | return this.float() || this.int(); |
| 91 | } |
| 92 | |
| 93 | /** Double-quoted strings */ |
| 94 | private double(): StringToken | undefined { |