next up previous contents
Next: CallStatement Up: Computational statements Previous: StoreStatement   Contents


StoreVariableStatement

The StoreVariableStatement writes to a variable.

    concrete StoreVariableStatement : Statement
      {
         VariableSymbol* reference destination in destination_vars;
         Expression * owner value in source_ops;
      };

value Right hand side. The result_type of this expression must be the unqualified type of the destination variable.
destination Left hand side variable.



SUIF Nightly Build
2000-08-14