next up previous contents
Next: Computational statements Up: Simple Control Flow Statements Previous: ReturnStatement   Contents


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;

defined_label Label for this statement.

SUIF Nightly Build