indexing
	description: "OLE Automation."
	note: "Automatically generated by the EiffelCOM Wizard."

deferred class interface
	FONT_INTERFACE

feature -- Access

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

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

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

	item: POINTER
			-- Pointer to COM interface.
			-- (from ECOM_INTERFACE)

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

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

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

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

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

	set_bold (a_value: BOOLEAN)
			-- Set 'bold' with 'a_value'
		require
			set_bold_user_precondition: set_bold_user_precondition (a_value)

	set_charset (a_value: INTEGER)
			-- Set 'charset' with 'a_value'
		require
			set_charset_user_precondition: set_charset_user_precondition (a_value)

	set_italic (a_value: BOOLEAN)
			-- Set 'italic' with 'a_value'
		require
			set_italic_user_precondition: set_italic_user_precondition (a_value)

	set_name (a_value: STRING)
			-- Set 'name' with 'a_value'
		require
			set_name_user_precondition: set_name_user_precondition (a_value)

	set_size (a_value: ECOM_CURRENCY)
			-- Set 'size' with 'a_value'
		require
			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
			set_strikethrough_user_precondition: set_strikethrough_user_precondition (a_value)

	set_underline (a_value: BOOLEAN)
			-- Set 'underline' with 'a_value'
		require
			set_underline_user_precondition: set_underline_user_precondition (a_value)

	set_weight (a_value: INTEGER)
			-- Set 'weight' with 'a_value'
		require
			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.

	charset_user_precondition: BOOLEAN
			-- User-defined preconditions for charset.
			-- Redefine in descendants if needed.

	italic_user_precondition: BOOLEAN
			-- User-defined preconditions for italic.
			-- Redefine in descendants if needed.

	name_user_precondition: BOOLEAN
			-- User-defined preconditions for name.
			-- Redefine in descendants if needed.

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

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

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

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

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

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

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

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

	size_user_precondition: BOOLEAN
			-- User-defined preconditions for size.
			-- Redefine in descendants if needed.

	strikethrough_user_precondition: BOOLEAN
			-- User-defined preconditions for strikethrough.
			-- Redefine in descendants if needed.

	underline_user_precondition: BOOLEAN
			-- User-defined preconditions for underline.
			-- Redefine in descendants if needed.

	weight_user_precondition: BOOLEAN
			-- User-defined preconditions for weight.
			-- Redefine in descendants if needed.
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class FONT_INTERFACE