Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class JAVA_VM_INIT_ARGS General cluster: structures description: "Description of the JavaVMInitArgs structure." create: make Ancestors MEMORY_STRUCTURE* Queries exists: BOOLEAN is_valid_version (a_version: INTEGER_32): BOOLEAN item: POINTER Jni_version_1_1: INTEGER_32 Jni_version_1_2: INTEGER_32 Jni_version_1_4: INTEGER_32 number_of_option: INTEGER_32 options: ARRAY [JAVA_VM_OPTION] options_set: BOOLEAN shared: BOOLEAN structure_size: INTEGER_32 version: INTEGER_32 Commands make make_by_pointer (a_ptr: POINTER) set_options (a_options: ARRAY [JAVA_VM_OPTION]) set_version (a_version: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org