Next: Computational statements
Up: Simple Control Flow Statements
A LabelLocationStatement marks the point in the code that
a CodeLabelSymbol refers to. Each
CodeLabelSymbol must have exactly one definition, either a
LabelLocation Statement or a definition by some other
statement, such as as the break_label of a
ForStatement. A jump to the label for a
LabelLocationStatement causes control to restart at that
point. The LabelLocationStatement itself has no effect,
so execution continues with whatever follows.
concrete LabelLocationStatement : Statement
CodeLabelSymbol * reference defined_label in defined_labels;
||Label for this statement.
SUIF Nightly Build