class
	JAVA_ARGS

General
	cluster: eiffel2java
	description: "Argument list for calls to Java methods"
	create: make

Ancestors
	SHARED_JNI_ENVIRONMENT

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

Commands
	put_array (value: JAVA_ARRAY; index: INTEGER_32)
	put_boolean (value: BOOLEAN; index: INTEGER_32)
	put_byte (value: INTEGER_8; index: INTEGER_32)
	put_char (value: CHARACTER_8; index: INTEGER_32)
	put_double (value: REAL_64; index: INTEGER_32)
	put_float (value: REAL_32; index: INTEGER_32)
	put_int (value, index: INTEGER_32)
	put_long (value: INTEGER_16; index: INTEGER_32)
	put_object (value: JAVA_OBJECT; index: INTEGER_32)
	put_short (value: INTEGER_16; index: INTEGER_32)
	put_string (value: STRING_8; index: INTEGER_32)

Constraints
	java args array not void
	count at least one