next up previous contents
Next: StoreVariableStatement Up: Computational statements Previous: Computational statements   Contents


StoreStatement

The StoreStatement is the only operation that can write to memory through a pointer.

    concrete StoreStatement : Statement
      {
        Expression * owner value in source_ops;
        Expression * owner destination_operand in source_ops;
      };

value Right hand side.
destination_operand Left hand side, the value is the address into which the value is stored. The result_type of this expression must be a pointer to the result_type of the value field's result_type.



SUIF Nightly Build
2000-08-14