\"\" \"\" \"\"
Go up to Selection
Go forward to *: Indirection
RISC-Linz logo

Null(): Test for Null Pointer

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

Specification: Returns 1 if p is not bound to any memory block and 0 else.

Complexity: O(1).


Author: Wolfgang Schreiner
Last Modification: April 12, 1997