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


BranchStatement

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
2000-08-14