- 7.a
- Ramification: If task objects are declared within a block_statement whose execution is completed, the block_statement is not left until all its dependent tasks are terminated (see 7.6). This rule applies to completion caused by a transfer of control.
- 7.b
- Within a block_statement, the block name can be used in expanded names denoting local entities such as Swap.Temp in the above example (see 4.1.3).
- Wording Changes From Ada 83
- 7.c
- The syntax rule for block_statement now uses the syntactic category handled_sequence_of_statements.