(str: string)
| 528 | } |
| 529 | |
| 530 | private escape(str: string): string { |
| 531 | return str |
| 532 | .replace(/&/g, "&") |
| 533 | .replace(/</g, "<") |
| 534 | .replace(/>/g, ">") |
| 535 | .replace(/"/g, """) |
| 536 | .replace(/'/g, "'"); |
| 537 | } |
| 538 | |
| 539 | toString(indent = 0): string { |
| 540 | const spaces = " ".repeat(indent); |