(protocol)
| 285 | this.traceDirection = direction; |
| 286 | } |
| 287 | traceProtocol(protocol) { |
| 288 | if (undefined === this.traceLevel) |
| 289 | return; |
| 290 | |
| 291 | trace(">".repeat(this.traceLevel + 1) + " " + protocol.name + "." + this.traceDirection + "\n"); |
| 292 | this.traceLevel++; |
| 293 | } |
| 294 | stopTrace() { |
| 295 | if (this.alert) { |
| 296 | trace("ALERT! (" + this.alert.level + ", " + this.alert.description + "\n"); |
no test coverage detected