()
| 710 | } |
| 711 | |
| 712 | private scanWhitespace(): Kind { |
| 713 | // since whitespace are not always 1 character wide, we're going to mark the position before the whitespace. |
| 714 | this.markPosition(); |
| 715 | |
| 716 | do { |
| 717 | // advance the position |
| 718 | this.#column += this.widthOfCh; |
| 719 | this.advance(); |
| 720 | } while (isWhiteSpaceSingleLine(this.#ch)); |
| 721 | |
| 722 | // and after... |
| 723 | this.markPosition(); |
| 724 | |
| 725 | this.text = this.#text.substring(this.offset, this.#offset); |
| 726 | return this.kind = Kind.Whitespace; |
| 727 | } |
| 728 | |
| 729 | private scanDigits(): string { |
| 730 | const start = this.#offset; |
no test coverage detected