next node: JavaNullArray,
prev node: JavaCatch,
up to node: Subsystem JavaCheck


JavaNull

Checking for null objects.

Signature of JavaNull

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