\"\" \"\" \"\"
Go up to General
Go forward to Null(): Test for Unbound Pointer
RISC-Linz logo

init(): Unbinding a Pointer

p.init()
      Pointer<T> p

Specification: Resolves any binding of p.

Complexity: O(1).


Author: Wolfgang Schreiner
Last Modification: April 12, 1997