Go backward to init(): Unbinding a Pointer
Go up to General
Go forward to Pointer(): Duplication

Null(): Test for Unbound Pointer

unbound = Null(p)
      int unbound
      Pointer<T> p

Specification: Returns 1 if p is not bound to any object and 1 else.

Complexity: O(1).


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: main.tex,v 1.10 1996/04/04 11:45:47 schreine Exp

Prev Up Next