* Advances past whitespace starting at the given offset.
(input: InputStream, offset: number)
| 120 | * Advances past whitespace starting at the given offset. |
| 121 | */ |
| 122 | function skipWhitespace(input: InputStream, offset: number): number { |
| 123 | while (isWhitespace(input.peek(offset))) { |
| 124 | offset++; |
| 125 | } |
| 126 | return offset; |
| 127 | } |
| 128 | |
| 129 | /** |
| 130 | * Checks whether the character at the given offset is escaped by an odd number |
no test coverage detected