class
	JAVA_VM

General
	cluster: eiffel2java
	description: "This class is used to initially load the JVM into the running program"
	create: make

Ancestors
	EXCEPTIONS

Queries
	assertion_violation: BOOLEAN
	Check_instruction: INTEGER
	Class_invariant: INTEGER
	class_name: STRING
	Com_exception: INTEGER
	create_vm (class_path: STRING): JNI_ENVIRONMENT
	Developer_exception: INTEGER
	developer_exception_name: STRING
	exception: INTEGER
	exception_trace: STRING
	External_exception: INTEGER
	Floating_point_exception: INTEGER
	Incorrect_inspect_value: INTEGER
	Io_exception: INTEGER
	is_developer_exception: BOOLEAN
	is_developer_exception_of_name (name: STRING): BOOLEAN
	is_signal: BOOLEAN
	is_system_exception: BOOLEAN
	Loop_invariant: INTEGER
	Loop_variant: INTEGER
	meaning (except: INTEGER): STRING
	No_more_memory: INTEGER
	Operating_system_exception: INTEGER
	original_class_name: STRING
	original_exception: INTEGER
	original_recipient_name: STRING
	original_tag_name: STRING
	Postcondition: INTEGER
	Precondition: INTEGER
	recipient_name: STRING
	Rescue_exception: INTEGER
	Retrieve_exception: INTEGER
	Routine_failure: INTEGER
	Runtime_io_exception: INTEGER
	Signal_exception: INTEGER
	tag_name: STRING
	Void_assigned_to_expanded: INTEGER
	Void_call_target: INTEGER

Commands
	attach_current_thread
	catch (code: INTEGER)
	destroy_vm
	detach_current_thread
	die (code: INTEGER)
	ignore (code: INTEGER)
	make
	message_on_failure
	no_message_on_failure
	raise (name: STRING)