class JNI_ENVIRONMENT General cluster: eiffel2java description: "Holds information abouy JNI environment. Potentially many JNI environments can exists at once, but more than one was never tested" create: make Ancestors JAVA_EXTERNALS Queries find_class (name: STRING): JAVA_CLASS find_class_by_pointer (classp: POINTER): JAVA_CLASS find_class_pointer (name: STRING): POINTER Commands attach_current_thread c_check_for_exceptions (lenv: POINTER) c_throw_custom_exception (lenv, jclass_id, msg: POINTER) c_throw_java_exception (lenv, jthrowable: POINTER) check_for_exceptions destroy_vm detach_current_thread throw_custom_exception (jclass: JAVA_CLASS; msg: STRING) throw_java_exception (jthrowable: JAVA_OBJECT)