* Skip whitespace at given position, return new position.
(pos: number)
| 526 | * Skip whitespace at given position, return new position. |
| 527 | */ |
| 528 | private skipWhitespace(pos: number): number { |
| 529 | const bytes = this.scanner.bytes; |
| 530 | |
| 531 | while (pos < bytes.length) { |
| 532 | const byte = bytes[pos]; |
| 533 | |
| 534 | if (byte === SPACE || byte === LF || byte === CR || byte === TAB) { |
| 535 | pos++; |
| 536 | } else { |
| 537 | break; |
| 538 | } |
| 539 | } |
| 540 | |
| 541 | return pos; |
| 542 | } |
| 543 | |
| 544 | /** |
| 545 | * Read an integer at given position. |