next up previous contents
Next: MultiWayBranchStatement Up: Simple Control Flow Statements Previous: Simple Control Flow Statements   Contents


A BranchStatement is a simple conditional branch.

    abstract BranchStatement : Statement
        Expression * owner decision_operand in source_ops;
        CodeLabelSymbol * reference target;

decision_operand The decision_operand must have boolean type. When the BranchStatement is executed, the decision_operand is evaluated and if it is true then control jumps to the code specified by the target label. If the decision_operand evaluates to false, there is no further effect and execution of the BranchStatement ends.
target Label for the target.

SUIF Nightly Build