Automatic generation produced by ISE Eiffel

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

General
	cluster: eiffel2java
	description: "Access to Java array of 'int'"
	create: make, make_from_pointer

Ancestors
	JAVA_ARRAY

Queries
	count: INTEGER_32
	item (index: INTEGER_32): INTEGER_32
	Jni: JNI_ENVIRONMENT
	valid_index (index: INTEGER_32): BOOLEAN

Commands
	make (size: INTEGER_32)
	put (an_item, index: INTEGER_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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