class JAVA_OBJECT_ARRAY General cluster: eiffel2java description: "Access to array of Java objects" create: make_from_pointer, make Ancestors JAVA_ARRAY Queries count: INTEGER_32 item (index: INTEGER_32): JAVA_OBJECT Jni: JNI_ENVIRONMENT valid_index (index: INTEGER_32): BOOLEAN Commands make (size: INTEGER_32; element_name: STRING_8) put (an_item: JAVA_OBJECT; index: INTEGER_32)