(
keys: (keyof DeferredBlockTriggers)[],
triggers: DeferredBlockTriggers,
visitor: Visitor,
)
| 401 | } |
| 402 | |
| 403 | private visitTriggers( |
| 404 | keys: (keyof DeferredBlockTriggers)[], |
| 405 | triggers: DeferredBlockTriggers, |
| 406 | visitor: Visitor, |
| 407 | ) { |
| 408 | visitAll( |
| 409 | visitor, |
| 410 | keys.map((k) => triggers[k]!), |
| 411 | ); |
| 412 | } |
| 413 | } |
| 414 | |
| 415 | export class SwitchBlock extends BlockNode implements Node { |