This structure binds a Java VM into an opal program. It is not for user purposes. See the tool `javabind' how to create OPAL interfaces to Java code.
List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void
SIGNATURE JavaVM
IMPORT Void ONLY void
Com[void] ONLY com
SORT OBJECT
FUN EQUALS : OBJECT ** OBJECT -> bool
/* Perform any deferred garbage collections in the OPAL Runtime System. */
-- FIXME: this function should go to a library for OPAL RTS Control
FUN gcOpal : com[void]
next node: Long,
prev node: Byte,
up to node: Subsystem JavaVM