JumpStatement

A JumpStatement is equivalent to a ``goto'' in C or Fortran. It causes control to jump to the code specified by the target label.

    concrete JumpStatement : Statement
      {
        CodeLabelSymbol * reference target;
      };