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