JAVA_CLASS_HELPER

signature JAVA_CLASS_HELPER =
sig
  type ('jnitype, 'mltype) t
  type 't method
  type 't static_method
  type 't get_field
  type 't set_field
  type 't get_static_field
  type 't set_static_field
  datatype ('members, 'classes) instance =
           Instance of 'members * JavaValue.Object
  exception ClassCastException
  exception JavaException of JavaValue.Object
  val Z : (JNITypes.jboolean, JavaValue.boolean) t
  val B : (JNITypes.jbyte, JavaValue.byte) t
  val C : (JNITypes.jchar, JavaValue.char) t
  val S : (JNITypes.jshort, JavaValue.short) t
  val I : (JNITypes.jint, JavaValue.int) t
  val J : (JNITypes.jlong, JavaValue.long) t
  val F : (JNITypes.jfloat, JavaValue.float) t
  val D : (JNITypes.jdouble, JavaValue.double) t
  val L : (JNITypes.jobject, JavaValue.Object) t
  val T : (JNITypes.jstring, JavaValue.String) t
  val V : (void, void) t
  val argZ : JavaValue.boolean -> JNITypes.jvalue * (unit -> unit)
  val argB : JavaValue.byte -> JNITypes.jvalue * (unit -> unit)
  val argC : JavaValue.char -> JNITypes.jvalue * (unit -> unit)
  val argS : JavaValue.short -> JNITypes.jvalue * (unit -> unit)
  val argI : JavaValue.int -> JNITypes.jvalue * (unit -> unit)
  val argJ : JavaValue.long -> JNITypes.jvalue * (unit -> unit)
  val argF : JavaValue.float -> JNITypes.jvalue * (unit -> unit)
  val argD : JavaValue.double -> JNITypes.jvalue * (unit -> unit)
  val argL : JavaValue.Object -> JNITypes.jvalue * (unit -> unit)
  val argT : JavaValue.String -> JNITypes.jvalue * (unit -> unit)
  val methodZ : JNITypes.jmethodID -> JavaValue.boolean method
  val methodB : JNITypes.jmethodID -> JavaValue.byte method
  val methodC : JNITypes.jmethodID -> JavaValue.char method
  val methodS : JNITypes.jmethodID -> JavaValue.short method
  val methodI : JNITypes.jmethodID -> JavaValue.int method
  val methodJ : JNITypes.jmethodID -> JavaValue.long method
  val methodF : JNITypes.jmethodID -> JavaValue.float method
  val methodD : JNITypes.jmethodID -> JavaValue.double method
  val methodL : JNITypes.jmethodID -> JavaValue.Object method
  val methodT : JNITypes.jmethodID -> JavaValue.String method
  val methodV : JNITypes.jmethodID -> void method
  val static_methodZ : JNITypes.jmethodID -> JavaValue.boolean static_method
  val static_methodB : JNITypes.jmethodID -> JavaValue.byte static_method
  val static_methodC : JNITypes.jmethodID -> JavaValue.char static_method
  val static_methodS : JNITypes.jmethodID -> JavaValue.short static_method
  val static_methodI : JNITypes.jmethodID -> JavaValue.int static_method
  val static_methodJ : JNITypes.jmethodID -> JavaValue.long static_method
  val static_methodF : JNITypes.jmethodID -> JavaValue.float static_method
  val static_methodD : JNITypes.jmethodID -> JavaValue.double static_method
  val static_methodL : JNITypes.jmethodID -> JavaValue.Object static_method
  val static_methodT : JNITypes.jmethodID -> JavaValue.String static_method
  val static_methodV : JNITypes.jmethodID -> void static_method
  val getFieldZ : JNITypes.jfieldID -> JavaValue.boolean get_field
  val getFieldB : JNITypes.jfieldID -> JavaValue.byte get_field
  val getFieldC : JNITypes.jfieldID -> JavaValue.char get_field
  val getFieldS : JNITypes.jfieldID -> JavaValue.short get_field
  val getFieldI : JNITypes.jfieldID -> JavaValue.int get_field
  val getFieldJ : JNITypes.jfieldID -> JavaValue.long get_field
  val getFieldF : JNITypes.jfieldID -> JavaValue.float get_field
  val getFieldD : JNITypes.jfieldID -> JavaValue.double get_field
  val getFieldL : JNITypes.jfieldID -> JavaValue.Object get_field
  val getFieldT : JNITypes.jfieldID -> JavaValue.String get_field
  val setFieldZ : JNITypes.jfieldID -> JavaValue.boolean set_field
  val setFieldB : JNITypes.jfieldID -> JavaValue.byte set_field
  val setFieldC : JNITypes.jfieldID -> JavaValue.char set_field
  val setFieldS : JNITypes.jfieldID -> JavaValue.short set_field
  val setFieldI : JNITypes.jfieldID -> JavaValue.int set_field
  val setFieldJ : JNITypes.jfieldID -> JavaValue.long set_field
  val setFieldF : JNITypes.jfieldID -> JavaValue.float set_field
  val setFieldD : JNITypes.jfieldID -> JavaValue.double set_field
  val setFieldL : JNITypes.jfieldID -> JavaValue.Object set_field
  val setFieldT : JNITypes.jfieldID -> JavaValue.String set_field
  val getStaticFieldZ : JNITypes.jfieldID -> JavaValue.boolean get_static_field
  val getStaticFieldB : JNITypes.jfieldID -> JavaValue.byte get_static_field
  val getStaticFieldC : JNITypes.jfieldID -> JavaValue.char get_static_field
  val getStaticFieldS : JNITypes.jfieldID -> JavaValue.short get_static_field
  val getStaticFieldI : JNITypes.jfieldID -> JavaValue.int get_static_field
  val getStaticFieldJ : JNITypes.jfieldID -> JavaValue.long get_static_field
  val getStaticFieldF : JNITypes.jfieldID -> JavaValue.float get_static_field
  val getStaticFieldD : JNITypes.jfieldID -> JavaValue.double get_static_field
  val getStaticFieldL : JNITypes.jfieldID -> JavaValue.Object get_static_field
  val getStaticFieldT : JNITypes.jfieldID -> JavaValue.String get_static_field
  val setStaticFieldZ : JNITypes.jfieldID -> JavaValue.boolean set_static_field
  val setStaticFieldB : JNITypes.jfieldID -> JavaValue.byte set_static_field
  val setStaticFieldC : JNITypes.jfieldID -> JavaValue.char set_static_field
  val setStaticFieldS : JNITypes.jfieldID -> JavaValue.short set_static_field
  val setStaticFieldI : JNITypes.jfieldID -> JavaValue.int set_static_field
  val setStaticFieldJ : JNITypes.jfieldID -> JavaValue.long set_static_field
  val setStaticFieldF : JNITypes.jfieldID -> JavaValue.float set_static_field
  val setStaticFieldD : JNITypes.jfieldID -> JavaValue.double set_static_field
  val setStaticFieldL : JNITypes.jfieldID -> JavaValue.Object set_static_field
  val setStaticFieldT : JNITypes.jfieldID -> JavaValue.String set_static_field
  val newInstance
      : JavaValue.Class ->
          'VTBL ->
            JNITypes.jmethodID ->
              (JNITypes.jvalue * (unit -> unit)) list ->
                ('VTBL, 'classes) instance
  val isInstance : JavaValue.Class -> JavaValue.Object -> bool
  val cast
      : JavaValue.Class ->
          'VTBL -> JavaValue.Object -> ('VTBL, 'classes) instance
  val referenceOf : ('VTBL, 'classes) instance -> JavaValue.Object
  val call
      : ('VTBL, 'classes) instance ->
          ('VTBL -> JavaValue.Object -> 'arg -> 'result) -> 'arg -> 'result
  val initClass
      : string *
        JavaValue.Class ref *
        (JNITypes.jmethodID ref * string * string) list *
        (JNITypes.jmethodID ref * string * string) list *
        (JNITypes.jfieldID ref * string * string) list *
        (JNITypes.jfieldID ref * string * string) list ->
          unit
end

helper module for wrapper modules which are generated by 'java2sml' command to access Java objects.

Author:

YAMATODANI Kiyoshi

Copyright:

(c) 2007, Tohoku University.

Version:

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

 

Type detail

t

type ('jnitype, 'mltype) t

method

type 't method

static_method

type 't static_method

get_field

type 't get_field

set_field

type 't set_field

get_static_field

type 't get_static_field

set_static_field

type 't set_static_field

 

Datatype detail

instance

datatype ('members, 'classes) instance = Instance of 'members * JavaValue.Object

 

DataConstructor detail

Instance

constructor Instance
            : 'members * JavaValue.Object -> ('members, 'classes) instance

 

Value detail

Z

val Z : (JNITypes.jboolean, JavaValue.boolean) t

B

val B : (JNITypes.jbyte, JavaValue.byte) t

C

val C : (JNITypes.jchar, JavaValue.char) t

S

val S : (JNITypes.jshort, JavaValue.short) t

I

val I : (JNITypes.jint, JavaValue.int) t

J

val J : (JNITypes.jlong, JavaValue.long) t

F

val F : (JNITypes.jfloat, JavaValue.float) t

D

val D : (JNITypes.jdouble, JavaValue.double) t

L

val L : (JNITypes.jobject, JavaValue.Object) t

T

val T : (JNITypes.jstring, JavaValue.String) t

V

val V : (void, void) t

argZ

val argZ : JavaValue.boolean -> JNITypes.jvalue * (unit -> unit)

argB

val argB : JavaValue.byte -> JNITypes.jvalue * (unit -> unit)

argC

val argC : JavaValue.char -> JNITypes.jvalue * (unit -> unit)

argS

val argS : JavaValue.short -> JNITypes.jvalue * (unit -> unit)

argI

val argI : JavaValue.int -> JNITypes.jvalue * (unit -> unit)

argJ

val argJ : JavaValue.long -> JNITypes.jvalue * (unit -> unit)

argF

val argF : JavaValue.float -> JNITypes.jvalue * (unit -> unit)

argD

val argD : JavaValue.double -> JNITypes.jvalue * (unit -> unit)

argL

val argL : JavaValue.Object -> JNITypes.jvalue * (unit -> unit)

argT

val argT : JavaValue.String -> JNITypes.jvalue * (unit -> unit)

methodZ

val methodZ : JNITypes.jmethodID -> JavaValue.boolean method

methodB

val methodB : JNITypes.jmethodID -> JavaValue.byte method

methodC

val methodC : JNITypes.jmethodID -> JavaValue.char method

methodS

val methodS : JNITypes.jmethodID -> JavaValue.short method

methodI

val methodI : JNITypes.jmethodID -> JavaValue.int method

methodJ

val methodJ : JNITypes.jmethodID -> JavaValue.long method

methodF

val methodF : JNITypes.jmethodID -> JavaValue.float method

methodD

val methodD : JNITypes.jmethodID -> JavaValue.double method

methodL

val methodL : JNITypes.jmethodID -> JavaValue.Object method

methodT

val methodT : JNITypes.jmethodID -> JavaValue.String method

methodV

val methodV : JNITypes.jmethodID -> void method

static_methodZ

val static_methodZ : JNITypes.jmethodID -> JavaValue.boolean static_method

static_methodB

val static_methodB : JNITypes.jmethodID -> JavaValue.byte static_method

static_methodC

val static_methodC : JNITypes.jmethodID -> JavaValue.char static_method

static_methodS

val static_methodS : JNITypes.jmethodID -> JavaValue.short static_method

static_methodI

val static_methodI : JNITypes.jmethodID -> JavaValue.int static_method

static_methodJ

val static_methodJ : JNITypes.jmethodID -> JavaValue.long static_method

static_methodF

val static_methodF : JNITypes.jmethodID -> JavaValue.float static_method

static_methodD

val static_methodD : JNITypes.jmethodID -> JavaValue.double static_method

static_methodL

val static_methodL : JNITypes.jmethodID -> JavaValue.Object static_method

static_methodT

val static_methodT : JNITypes.jmethodID -> JavaValue.String static_method

static_methodV

val static_methodV : JNITypes.jmethodID -> void static_method

getFieldZ

val getFieldZ : JNITypes.jfieldID -> JavaValue.boolean get_field

getFieldB

val getFieldB : JNITypes.jfieldID -> JavaValue.byte get_field

getFieldC

val getFieldC : JNITypes.jfieldID -> JavaValue.char get_field

getFieldS

val getFieldS : JNITypes.jfieldID -> JavaValue.short get_field

getFieldI

val getFieldI : JNITypes.jfieldID -> JavaValue.int get_field

getFieldJ

val getFieldJ : JNITypes.jfieldID -> JavaValue.long get_field

getFieldF

val getFieldF : JNITypes.jfieldID -> JavaValue.float get_field

getFieldD

val getFieldD : JNITypes.jfieldID -> JavaValue.double get_field

getFieldL

val getFieldL : JNITypes.jfieldID -> JavaValue.Object get_field

getFieldT

val getFieldT : JNITypes.jfieldID -> JavaValue.String get_field

setFieldZ

val setFieldZ : JNITypes.jfieldID -> JavaValue.boolean set_field

setFieldB

val setFieldB : JNITypes.jfieldID -> JavaValue.byte set_field

setFieldC

val setFieldC : JNITypes.jfieldID -> JavaValue.char set_field

setFieldS

val setFieldS : JNITypes.jfieldID -> JavaValue.short set_field

setFieldI

val setFieldI : JNITypes.jfieldID -> JavaValue.int set_field

setFieldJ

val setFieldJ : JNITypes.jfieldID -> JavaValue.long set_field

setFieldF

val setFieldF : JNITypes.jfieldID -> JavaValue.float set_field

setFieldD

val setFieldD : JNITypes.jfieldID -> JavaValue.double set_field

setFieldL

val setFieldL : JNITypes.jfieldID -> JavaValue.Object set_field

setFieldT

val setFieldT : JNITypes.jfieldID -> JavaValue.String set_field

getStaticFieldZ

val getStaticFieldZ : JNITypes.jfieldID -> JavaValue.boolean get_static_field

getStaticFieldB

val getStaticFieldB : JNITypes.jfieldID -> JavaValue.byte get_static_field

getStaticFieldC

val getStaticFieldC : JNITypes.jfieldID -> JavaValue.char get_static_field

getStaticFieldS

val getStaticFieldS : JNITypes.jfieldID -> JavaValue.short get_static_field

getStaticFieldI

val getStaticFieldI : JNITypes.jfieldID -> JavaValue.int get_static_field

getStaticFieldJ

val getStaticFieldJ : JNITypes.jfieldID -> JavaValue.long get_static_field

getStaticFieldF

val getStaticFieldF : JNITypes.jfieldID -> JavaValue.float get_static_field

getStaticFieldD

val getStaticFieldD : JNITypes.jfieldID -> JavaValue.double get_static_field

getStaticFieldL

val getStaticFieldL : JNITypes.jfieldID -> JavaValue.Object get_static_field

getStaticFieldT

val getStaticFieldT : JNITypes.jfieldID -> JavaValue.String get_static_field

setStaticFieldZ

val setStaticFieldZ : JNITypes.jfieldID -> JavaValue.boolean set_static_field

setStaticFieldB

val setStaticFieldB : JNITypes.jfieldID -> JavaValue.byte set_static_field

setStaticFieldC

val setStaticFieldC : JNITypes.jfieldID -> JavaValue.char set_static_field

setStaticFieldS

val setStaticFieldS : JNITypes.jfieldID -> JavaValue.short set_static_field

setStaticFieldI

val setStaticFieldI : JNITypes.jfieldID -> JavaValue.int set_static_field

setStaticFieldJ

val setStaticFieldJ : JNITypes.jfieldID -> JavaValue.long set_static_field

setStaticFieldF

val setStaticFieldF : JNITypes.jfieldID -> JavaValue.float set_static_field

setStaticFieldD

val setStaticFieldD : JNITypes.jfieldID -> JavaValue.double set_static_field

setStaticFieldL

val setStaticFieldL : JNITypes.jfieldID -> JavaValue.Object set_static_field

setStaticFieldT

val setStaticFieldT : JNITypes.jfieldID -> JavaValue.String set_static_field

newInstance

val newInstance
    : JavaValue.Class ->
        'VTBL ->
          JNITypes.jmethodID ->
            (JNITypes.jvalue * (unit -> unit)) list ->
              ('VTBL, 'classes) instance

isInstance

val isInstance : JavaValue.Class -> JavaValue.Object -> bool

cast

val cast
    : JavaValue.Class -> 'VTBL -> JavaValue.Object -> ('VTBL, 'classes) instance

referenceOf

val referenceOf : ('VTBL, 'classes) instance -> JavaValue.Object

call

val call
    : ('VTBL, 'classes) instance ->
        ('VTBL -> JavaValue.Object -> 'arg -> 'result) -> 'arg -> 'result

initClass

val initClass
    : string *
      JavaValue.Class ref *
      (JNITypes.jmethodID ref * string * string) list *
      (JNITypes.jmethodID ref * string * string) list *
      (JNITypes.jfieldID ref * string * string) list *
      (JNITypes.jfieldID ref * string * string) list ->
        unit

 

Exception detail

ClassCastException

exception ClassCastException

JavaException

exception JavaException of JavaValue.Object