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

class interface
	FONT_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

	bold: BOOLEAN
			-- No description available.
		require -- from FONT_INTERFACE
			bold_user_precondition: bold_user_precondition

	charset: INTEGER
			-- No description available.
		require -- from FONT_INTERFACE
			charset_user_precondition: charset_user_precondition

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

	italic: BOOLEAN
			-- No description available.
		require -- from FONT_INTERFACE
			italic_user_precondition: italic_user_precondition

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

	name: STRING
			-- No description available.
		require -- from FONT_INTERFACE
			name_user_precondition: name_user_precondition

	size: ECOM_CURRENCY
			-- No description available.
		require -- from FONT_INTERFACE
			size_user_precondition: size_user_precondition

	strikethrough: BOOLEAN
			-- No description available.
		require -- from FONT_INTERFACE
			strikethrough_user_precondition: strikethrough_user_precondition

	underline: BOOLEAN
			-- No description available.
		require -- from FONT_INTERFACE
			underline_user_precondition: underline_user_precondition

	weight: INTEGER
			-- No description available.
		require -- from FONT_INTERFACE
			weight_user_precondition: weight_user_precondition
	
feature -- Element Change

	set_bold (a_value: BOOLEAN)
			-- Set bold with a_value.
		require -- from FONT_INTERFACE
			set_bold_user_precondition: set_bold_user_precondition (a_value)

	set_charset (a_value: INTEGER)
			-- Set charset with a_value.
		require -- from FONT_INTERFACE
			set_charset_user_precondition: set_charset_user_precondition (a_value)

	set_italic (a_value: BOOLEAN)
			-- Set italic with a_value.
		require -- from FONT_INTERFACE
			set_italic_user_precondition: set_italic_user_precondition (a_value)

	set_name (a_value: STRING)
			-- Set name with a_value.
		require -- from FONT_INTERFACE
			set_name_user_precondition: set_name_user_precondition (a_value)

	set_size (a_value: ECOM_CURRENCY)
			-- Set size with a_value.
		require -- from FONT_INTERFACE
			non_void_a_value: a_value /= void
			valid_a_value: a_value.item /= default_pointer
			set_size_user_precondition: set_size_user_precondition (a_value)

	set_strikethrough (a_value: BOOLEAN)
			-- Set strikethrough with a_value.
		require -- from FONT_INTERFACE
			set_strikethrough_user_precondition: set_strikethrough_user_precondition (a_value)

	set_underline (a_value: BOOLEAN)
			-- Set underline with a_value.
		require -- from FONT_INTERFACE
			set_underline_user_precondition: set_underline_user_precondition (a_value)

	set_weight (a_value: INTEGER)
			-- Set weight with a_value.
		require -- from FONT_INTERFACE
			set_weight_user_precondition: set_weight_user_precondition (a_value)
	
feature -- Status Report

	bold_user_precondition: BOOLEAN
			-- User-defined preconditions for bold.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	charset_user_precondition: BOOLEAN
			-- User-defined preconditions for charset.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	italic_user_precondition: BOOLEAN
			-- User-defined preconditions for italic.
			-- Redefine in descendants if needed.
			-- (from FONT_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.

	name_user_precondition: BOOLEAN
			-- User-defined preconditions for name.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_bold_user_precondition (a_value: BOOLEAN): BOOLEAN
			-- User-defined preconditions for set_bold.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_charset_user_precondition (a_value: INTEGER): BOOLEAN
			-- User-defined preconditions for set_charset.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_italic_user_precondition (a_value: BOOLEAN): BOOLEAN
			-- User-defined preconditions for set_italic.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_name_user_precondition (a_value: STRING): BOOLEAN
			-- User-defined preconditions for set_name.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_size_user_precondition (a_value: ECOM_CURRENCY): BOOLEAN
			-- User-defined preconditions for set_size.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_strikethrough_user_precondition (a_value: BOOLEAN): BOOLEAN
			-- User-defined preconditions for set_strikethrough.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_underline_user_precondition (a_value: BOOLEAN): BOOLEAN
			-- User-defined preconditions for set_underline.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	set_weight_user_precondition (a_value: INTEGER): BOOLEAN
			-- User-defined preconditions for set_weight.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	size_user_precondition: BOOLEAN
			-- User-defined preconditions for size.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	strikethrough_user_precondition: BOOLEAN
			-- User-defined preconditions for strikethrough.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	underline_user_precondition: BOOLEAN
			-- User-defined preconditions for underline.
			-- Redefine in descendants if needed.
			-- (from FONT_INTERFACE)

	weight_user_precondition: BOOLEAN
			-- User-defined preconditions for weight.
			-- Redefine in descendants if needed.
			-- (from FONT_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 FONT_IMPL_PROXY