\"\" \"\" \"\"
Go backward to Null(): Test for Null Pointer
Go up to Selection
Go forward to ->: Dereferencing 		RISC-Linz logo

*: Indirection

e = *p
*p = e
      T e
      Pointer<T> p

Specification: The first form returns the object e stored in the memory block to which p refers. The second form destructively updates this memory block by overwriting its content with e.

Constraint: It is illegal to apply * to an unbound p.

Complexity: O(1).

Author: Wolfgang Schreiner
Last Modification: April 12, 1997