Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	EV_CHARACTER_FORMAT_I

General
	cluster: implementation_interface
	description: 
		"Implementation Interface of Character format containing color,
		font and effects information for text formatting."

Ancestors
	EV_ANY_I*

Queries
	background_color: EV_COLOR
	color: EV_COLOR
	effects: EV_CHARACTER_FORMAT_EFFECTS
	font: EV_FONT
	is_destroyed: BOOLEAN
	out: STRING_8

Commands
	set_background_color (a_color: EV_COLOR)
	set_color (a_color: EV_COLOR)
	set_effects (an_effect: EV_CHARACTER_FORMAT_EFFECTS)
	set_font (a_font: EV_FONT)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org