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