deferred class
	JAVA_TYPE

inherit
	EL_MODULE_LIO

feature {NONE} -- Initialization

	make
			--
		do
		end

	make_from_java_method_result (target: JAVA_OBJECT_OR_CLASS; a_method_id: POINTER; args: JAVA_ARGUMENTS)
			--
		deferred
		end

	make_from_java_attribute (target: JAVA_OBJECT_OR_CLASS; a_field_id: POINTER)
			--
		deferred
		end

feature {JAVA_ARGUMENTS, J_FLOAT, J_INT} -- Basic operations

	set_argument (argument: JAVA_VALUE)
			--
		deferred
		end

feature -- Constant

	Jni_type_signature: STRING
				-- a fully-qualified class name (that is, a package name, delimited by "/",
				-- followed by the class name).
				-- If the name begins with "[" (the array jni_type_name character),
				-- it returns an array class.
		deferred
		end

end