(message: string)
| 240 | } |
| 241 | |
| 242 | private trace(message: string): void { |
| 243 | if (C.TRACE_LAYOUT) { |
| 244 | console.log(`${message} ${performance.now() - this.startTime}`); |
| 245 | } |
| 246 | } |
| 247 | |
| 248 | private traceOccupation(message: string): void { |
| 249 | if (C.TRACE_LAYOUT) { |