class
	J_DOUBLE

inherit
	JAVA_PRIMITIVE_TYPE [DOUBLE]

create
	default_create,
	make,
	make_from_double,
	make_from_java_method_result,
	make_from_java_attribute

convert
	make_from_double ({DOUBLE})

feature {NONE} -- Initialization

	make_from_double (r: DOUBLE)
			--
		do
			value := r
		end

	make_from_java_method_result (
		target: JAVA_OBJECT_REFERENCE;
		a_method_id: POINTER;
		args: JAVA_ARGUMENTS
	)
			--
		do
			make
			value := jni.call_double_method (target.java_object_id, a_method_id, args.to_c)
		end

	make_from_java_attribute (
		target: JAVA_OBJECT_OR_CLASS; a_field_id: POINTER
	)
			--
		do
			make
			value := target.double_attribute (a_field_id)
		end

feature {NONE, JAVA_FUNCTION} -- Implementation

	set_argument (argument: JAVA_VALUE)
			--
		do
			argument.set_double_value (value)
		end

	Jni_type_signature: STRING = "D"

end -- class J_FLOAT