    deferred class
    	JAVA_ENTITY

    General
    	cluster: eiffel2java
    	description: "Description of a java entity (either a class or an instance of a class."

    Ancestors
    	ANY

    Queries
    	boolean_attribute (fid: POINTER): BOOLEAN
    	boolean_method (mid: POINTER; args: JAVA_ARGS): BOOLEAN
    	byte_attribute (fid: POINTER): INTEGER_8
    	byte_method (mid: POINTER; args: JAVA_ARGS): INTEGER_8
    	char_attribute (fid: POINTER): CHARACTER_8
    	char_method (mid: POINTER; args: JAVA_ARGS): CHARACTER_8
    	double_attribute (fid: POINTER): REAL_64
    	double_method (mid: POINTER; args: JAVA_ARGS): REAL_64
    	field_id (attribute_name, signature: STRING_8): POINTER
    	float_attribute (fid: POINTER): REAL_32
    	float_method (mid: POINTER; args: JAVA_ARGS): REAL_32
    	integer_attribute (fid: POINTER): INTEGER_32
    	integer_method (mid: POINTER; args: JAVA_ARGS): INTEGER_32
    	long_attribute (fid: POINTER): INTEGER_64
    	long_method (mid: POINTER; args: JAVA_ARGS): INTEGER_64
    	method_id (feature_name, signature: STRING_8): POINTER
    	object_attribute (fid: POINTER): JAVA_OBJECT
    	object_method (mid: POINTER; args: JAVA_ARGS): JAVA_OBJECT
    	short_attribute (fid: POINTER): INTEGER_16
    	short_method (mid: POINTER; args: JAVA_ARGS): INTEGER_16
    	string_attribute (fid: POINTER): STRING_8
    	string_method (mid: POINTER; args: JAVA_ARGS): STRING_8

    Commands
    	set_boolean_attribute (fid: POINTER; value: BOOLEAN)
    	set_byte_attribute (fid: POINTER; value: INTEGER_8)
    	set_char_attribute (fid: POINTER; value: CHARACTER_8)
    	set_double_attribute (fid: POINTER; value: REAL_64)
    	set_float_attribute (fid: POINTER; value: REAL_32)
    	set_integer_attribute (fid: POINTER; value: INTEGER_32)
    	set_long_attribute (fid: POINTER; value: INTEGER_64)
    	set_object_attribute (fid: POINTER; value: JAVA_OBJECT)
    	set_short_attribute (fid: POINTER; value: INTEGER_16)
    	set_string_attribute (fid: POINTER; value: STRING_8)
    	void_method (mid: POINTER; args: JAVA_ARGS)