|
Inner Signature summary
|
|
signature JAVA
interface of Java.
|
|
signature JAVA_CLASS_HELPER
helper module for wrapper modules which are generated by 'java2sml' command
to access Java objects.
|
|
signature JAVA_VALUE
conversion functions between JNI values and ML values.
|
|
signature JNI
lower-level interface of JNI functions.
|
|
signature JNI_TYPES
datatypes which are mapped to native datatypes declared in JNI.
|