Automatic generation produced by ISE Eiffel
deferred class EV_CHARACTER_FORMAT_I Ancestors EV_ANY_I* Descendants EV_CHARACTER_FORMAT_IMP Clients EV_CHARACTER_FORMAT EV_CHARACTER_FORMAT_I* EV_RICH_TEXT_BUFFERING_STRUCTURES_I Suppliers BOOLEAN EV_CHARACTER_FORMAT_EFFECTS EV_CHARACTER_FORMAT_I* EV_COLOR EV_FONT INTEGER_32 INTEGER_8 STRING_8 UTF_CONVERTER -- Generated by Eiffel Studio --
For more details: eiffel.org