Checking for null objects.
List of Import References :
See BOOL
See Com
See DENOTATION
See Int
See Long
See Nat
See Option
See Seq
See Void
SIGNATURE JavaNull
$Date: 1998/06/16 16:00:28 $ ($Revision: 1.1.1.1 $)
IMPORT java_lang_Object ONLY Object:SORT
Test whether the given object is null.
FUN null? : Object -> bool
Test whether the given denotation reflects a null-Java-String. As a denotation, a null-Java-String is an empty denotation. This function additionally allows to observe if this denotation was created by converting a null-Java-String.
FUN null? : denotation -> bool
Handcoding note: to implement the null? facility, usr_sflag is reserved.
next node: JavaNullArray,
prev node: JavaCatch,
up to node: Subsystem JavaCheck