class JAVA_INT_ARRAY General cluster: eiffel2java description: "Access to Java array of 'int'" create: make_from_pointer, make 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)