\"\" \"\" \"\"
Go backward to init(): Unbinding an Array
Go up to General
Go forward to Array(): Duplication
RISC-Linz logo

Null(): Test for Unbound Array

unbound = Null(a)
      int unbound
      Array<T> a

Specification: Returns 1 if a is not bound to any array and 1 else.

Complexity: O(1).

Author: Wolfgang Schreiner
Last Modification: April 12, 1997