indexing
	description: "JNI external declarations"

class interface
	JAVA_EXTERNALS

feature -- Java exception mechanism

	c_check_for_exceptions (lenv: POINTER)

	c_throw_custom_exception (lenv: POINTER; jclass_id: POINTER; msg: POINTER)

	c_throw_java_exception (lenv: POINTER; jthrowable: POINTER)
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class JAVA_EXTERNALS