JAVA

All Known Implementing Modules:

Java

signature JAVA =
sig
  structure Types : JNI_TYPES
  structure JNI : JNI
  structure Value : JAVA_VALUE
  structure Array : JAVA_ARRAY
  structure ClassHelper : JAVA_CLASS_HELPER
  type Object
  type ('members, 'classes) instance
  exception JavaException of Object
  exception ClassCastException
  val initialize : string list -> unit
  val null : Object
  val isNull : Object -> bool
  val isSameObject : Object * Object -> bool
  val call
      : ('members, 'classes) instance ->
          ('members -> Object -> 'arg -> 'result) -> 'arg -> 'result
  val referenceOf : ('members, 'classes) instance -> Object
end

interface of Java.

Author:

YAMATODANI Kiyoshi

Copyright:

(c) 2007, Tohoku University.

Version:

$Id: SigJAVA.html,v 1.4 2010/07/09 03:17:35 kiyoshiy Exp $

 

Type detail

Object

type Object

instance

type ('members, 'classes) instance

     

Value detail

initialize

val initialize : string list -> unit

initialize Java interface. User should call this function once before using functions of the Java interface.

null

val null : Object

isNull

val isNull : Object -> bool

isSameObject

val isSameObject : Object * Object -> bool

call

val call
    : ('members, 'classes) instance ->
        ('members -> Object -> 'arg -> 'result) -> 'arg -> 'result

referenceOf

val referenceOf : ('members, 'classes) instance -> Object

 

Exception detail

JavaException

exception JavaException of Object

ClassCastException

exception ClassCastException