statement block

A statement block represents a sequence of statements.

A statement block is executed by executing each statement in the statement block in sequence.

The first statement in the statement block is reachable if the statement block is reachable; each subsequent statement is reachable if the statement immediately preceding it completes. The statement block completes if every statement in the block completes.

The VAS provided to the first statement in the statement block is the VAS provided to the statement block itself. The VAS for each subsequent reachable statement is the VAS from the completion of the previous statement in the statement block. The VAS at the completion of the statement block is the VAS from the completion of the last statement in the statement block.

A statement block provides a local variable scope for the statements in the statement block.

    StatementBlock:
        { Statementsopt }

    Statements:
        Statement
        Statements Statement