(s: string | null = null)
| 133 | } |
| 134 | |
| 135 | private _writeLine(s: string | null = null) { |
| 136 | if (s) { |
| 137 | this._write(s); |
| 138 | } |
| 139 | if (this._indention.length > 0 && !this._isStartOfLine) { |
| 140 | this._result.push('\n'); |
| 141 | this._isStartOfLine = true; |
| 142 | } |
| 143 | } |
| 144 | |
| 145 | public toString() { |
| 146 | return this._result.join('').trimRight(); |