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


JavaCatch

Catching Java exceptions

Signature of JavaCatch

List of Import References :
See BOOL
See Com
See DENOTATION
See Int
See Long
See Nat
See Option
See Seq
See Void

SIGNATURE JavaCatch[data]

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

SORT data

IMPORT java_lang_Throwable ONLY Throwable:SORT
IMPORT Com[data]           ONLY com:SORT

Com catch Handler executes the command Com. If execution of Com fails because of a Java exception, Handler will be executed, passing the throwed object.

 

FUN catch : com[data] ** (Throwable -> com[data]) -> com[data]


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