Automatic generation produced by ISE Eiffel
class EV_CHARACTER_FORMAT General cluster: interface description: "Character format containing color, font and effects information for text formatting." create: default_create, make_with_font, make_with_font_and_color, make_with_values Ancestors EV_ANY* Queries background_color: EV_COLOR color: EV_COLOR data: detachable ANY effects: EV_CHARACTER_FORMAT_EFFECTS font: EV_FONT is_destroyed: BOOLEAN is_equal (other: [like Current] EV_CHARACTER_FORMAT): BOOLEAN out: STRING_8 Commands copy (other: [like Current] EV_CHARACTER_FORMAT) destroy set_background_color (a_color: EV_COLOR) set_color (a_color: EV_COLOR) set_data (some_data: [like data] detachable ANY) set_effects (an_effect: EV_CHARACTER_FORMAT_EFFECTS) set_font (a_font: EV_FONT) Constraints font not void color not void effects not void -- Generated by Eiffel Studio --
For more details: eiffel.org