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. |