JumpIndirectStatement

A JumpIndirectStatement is equivalent to a JumpStatement except that there is a level of indirection. The address of a label can be taken and that address can be stored and passed around like any other data.

    concrete JumpIndirectStatement : Statement
      {
        Expression * owner target in source_ops;
      };

target

When a JumpIndirectStatement is evaluated, the target operand is evaluated and it is expected that the result will be the address of some label in the local scope. Control then continues with the code specified by that label. The type of the target must be a ``pointer to void'' type.