    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