indexing
	description: "Implemented `Picture' Interface."
	note: "Automatically generated by the EiffelCOM Wizard."

class interface
	PICTURE_IMPL_PROXY

create 

	make_from_other (other: ECOM_INTERFACE)
			-- Make from other Queriable.
			-- (from ECOM_QUERIABLE)
		require -- from ECOM_QUERIABLE
			non_void_other: other /= void
		ensure -- from ECOM_QUERIABLE
			valid_initializer: initializer /= default_pointer
			exists: exists

	make_from_pointer (cpp_obj: POINTER)
			-- Make from pointer
		require -- from ECOM_QUERIABLE
			non_default_pointer: a_pointer /= default_pointer
		ensure -- from ECOM_QUERIABLE
			valid_initializer: initializer /= default_pointer
			exists: exists

feature -- Access

	exists: BOOLEAN
			-- Is wrapped structure initialized?
			-- (from ECOM_QUERIABLE)

	h_pal: INTEGER
			-- No description available.
		require -- from PICTURE_INTERFACE
			h_pal_user_precondition: h_pal_user_precondition

	handle: INTEGER
			-- No description available.
		require -- from PICTURE_INTERFACE
			handle_user_precondition: handle_user_precondition

	height: INTEGER
			-- No description available.
		require -- from PICTURE_INTERFACE
			height_user_precondition: height_user_precondition

	item: POINTER
			-- Pointer to COM object wrapper.
			-- (from ECOM_QUERIABLE)

	type: INTEGER
			-- No description available.
		require -- from PICTURE_INTERFACE
			type_user_precondition: type_user_precondition

	width: INTEGER
			-- No description available.
		require -- from PICTURE_INTERFACE
			width_user_precondition: width_user_precondition
	
feature -- Basic Operations

	render (hdc: INTEGER; x: INTEGER; y: INTEGER; cx: INTEGER; cy: INTEGER; x_src: INTEGER; y_src: INTEGER; cx_src: INTEGER; cy_src: INTEGER; prc_wbounds: POINTER)
			-- No description available.
			-- hdc [out].
			-- x [out].
			-- y [out].
			-- cx [out].
			-- cy [out].
			-- x_src [out].
			-- y_src [out].
			-- cx_src [out].
			-- cy_src [out].
			-- prc_wbounds [out].
		require -- from PICTURE_INTERFACE
			render_user_precondition: render_user_precondition (hdc, x, y, cx, cy, x_src, y_src, cx_src, cy_src, prc_wbounds)
	
feature -- Element Change

	set_h_pal (a_value: INTEGER)
			-- Set h_pal with a_value.
		require -- from PICTURE_INTERFACE
			set_h_pal_user_precondition: set_h_pal_user_precondition (a_value)
	
feature -- Status Report

	h_pal_user_precondition: BOOLEAN
			-- User-defined preconditions for h_pal.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)

	handle_user_precondition: BOOLEAN
			-- User-defined preconditions for handle.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)

	height_user_precondition: BOOLEAN
			-- User-defined preconditions for height.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)

	last_error_code: INTEGER
			-- Last error code.

	last_error_description: STRING
			-- Last error description.

	last_error_help_file: STRING
			-- Last error help file.

	last_source_of_exception: STRING
			-- Last source of exception.

	render_user_precondition (hdc: INTEGER; x: INTEGER; y: INTEGER; cx: INTEGER; cy: INTEGER; x_src: INTEGER; y_src: INTEGER; cx_src: INTEGER; cy_src: INTEGER; prc_wbounds: POINTER): BOOLEAN
			-- User-defined preconditions for render.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)

	set_h_pal_user_precondition (a_value: INTEGER): BOOLEAN
			-- User-defined preconditions for set_h_pal.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)

	type_user_precondition: BOOLEAN
			-- User-defined preconditions for type.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)

	width_user_precondition: BOOLEAN
			-- User-defined preconditions for width.
			-- Redefine in descendants if needed.
			-- (from PICTURE_INTERFACE)
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)
		-- from ECOM_QUERIABLE
	queriable_invariant: initializer /= default_pointer and then exists

end -- class PICTURE_IMPL_PROXY