Block Structure, Scope of Objects

Abstract

Blocks are used to structure the bodies of tasks and procedures and to influence the scope and lifetime of PEARL objects (data, procedures, etc.). A block is a comprehension of declarations and statements:

$${\text{block}}:: = BEGIN{\text{(/ declaration}}{{\text{ }}^{...}}{\text{ /) (/ statement}}{{\text{ }}^{...}}{\text{ /) }}END{\text{;}}$$

Blocks are statements; therefore they may be used only within bodies of tasks and procedures. Blocks may be nested. A block is entered by execution of BEGIN; the block is left by execution of the corresponding END or by execution of a jump to a label outside of the block. Jumps into a block are forbidden.