(x: number, y: number, lines: string[])
| 294 | } |
| 295 | |
| 296 | writeLines(x: number, y: number, lines: string[]): void { |
| 297 | if (lines.length === 0) { |
| 298 | return |
| 299 | } |
| 300 | |
| 301 | this.operations.push({ |
| 302 | type: 'writeLines', |
| 303 | x, |
| 304 | y, |
| 305 | lines, |
| 306 | }) |
| 307 | } |
| 308 | |
| 309 | clip(clip: Clip) { |
| 310 | this.operations.push({ |
no outgoing calls
no test coverage detected