next node: JavaCheck,
prev node: JavaNull,
up to node: Subsystem JavaCheck


JavaNullArray

Checking for null arrays. DRAFT

Signature of JavaNullArray

List of Import References :
See Array
See BOOL
See DENOTATION
See Nat

SIGNATURE JavaNullArray[data]

$Date: 1998/06/16 16:00:28 $ ($Revision: 1.1.1.1 $)

SORT data

IMPORT Array[data] ONLY array

Test whether the given array reflects a null-Java-Array. As an Opal-array, a null-Java-Array is empty. This function additionally allows to observe if the array was created by converting a null-Java-Array.

FUN null? : array[data]  -> bool

Handcoding note: to implement the null? facility, usr_sflag is reserved.


next node: JavaCheck,
prev node: JavaNull,
up to node: Subsystem JavaCheck