Automatic generation produced by ISE Eiffel
class EDITOR_TOKEN_LINE_NUMBER Ancestors EDITOR_TOKEN_MARGIN* SINGLE_MATH Clients EDITOR_LINE EDITOR_TOKEN_LINE_NUMBER MARGIN MARGIN_WIDGET VIEWER_LINE Suppliers BOOLEAN CHARACTER_8 EDITOR_TOKEN* EDITOR_TOKEN_LINE_NUMBER EV_COLOR EV_DRAWABLE* EV_FONT INTEGER_32 STRING_32 STRING_8 TEXT_PANEL TOKEN_VISITOR* -- Generated by Eiffel Studio --
For more details: eiffel.org