EndsInIterationOrBareIfOrDeclaration missing case: Block with statements

[Jack-Works]

Only Block with no statements inside is mentioned.

[bakkot]

This is covered by the chain production rule:

Unless explicitly specified otherwise, all chain productions have an implicit definition for every operation that might be applied to that production's left-hand side nonterminal. The implicit definition simply reapplies the same operation with the same parameters, if any, to the chain production's sole right-hand side nonterminal and then returns the result.

[Jack-Works]

I implement this as:

if (isBlock(node)) return checkEndsInIterationOrBareIfOrDeclaration(node.statements, labelSet, isLast);

Is this correct?

[bakkot]

As long as you handle the case that the list of statements is empty, yes. That's what I do.