Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	JAVA_VM_OPTION

General
	cluster: structures
	description: "Description of the JavaVMOption structure."
	create: make

Ancestors
	MEMORY_STRUCTURE*

Queries
	exists: BOOLEAN
	item: POINTER
	option_string: detachable STRING_8
	shared: BOOLEAN
	structure_size: INTEGER_32

Commands
	make
	make_by_pointer (a_ptr: POINTER)
	set_option_string (an_option: STRING_8)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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