class JAVA_ARRAY General cluster: eiffel2java description: "Parent of all Java array classes that contains the common routines to all arrays. Not to be used directly, instead use the class with array of specific type." create: make_from_pointer Ancestors JAVA_SIZES SHARED_JNI_ENVIRONMENT Queries count: INTEGER_32 Jni: JNI_ENVIRONMENT valid_index (index: INTEGER_32): BOOLEAN Constraints jarray not null