Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EDITOR_TOKEN Ancestors DEBUG_OUTPUT* EDITOR_TOKEN_IDS EV_FONT_CONSTANTS SHARED_EDITOR_DATA Descendants EDITOR_TOKEN_BLANK* EDITOR_TOKEN_EOL EDITOR_TOKEN_GLYPH EDITOR_TOKEN_GROUP EDITOR_TOKEN_MARGIN* EDITOR_TOKEN_TEXT Clients EDITABLE_TEXT EDITABLE_TEXT_PANEL EDITOR_LINE EDITOR_SCANNER* EDITOR_SYNTAX_SCANNER EDITOR_TOKEN* EDITOR_TOKEN_GROUP EDITOR_TOKEN_LINE_NUMBER EDITOR_TOKEN_TEXT KEYBOARD_SELECTABLE_TEXT_PANEL MARGIN MARGIN_WIDGET SELECTABLE_TEXT SELECTABLE_TEXT_PANEL TEXT TEXT_CURSOR TEXT_PANEL VIEWER_CONTENT VIEWER_CURSOR VIEWER_LINE Suppliers BOOLEAN CHARACTER_8 EDITOR_DATA EDITOR_TOKEN* EV_DRAWABLE* INTEGER_32 NATURAL_8 PLATFORM SPECIAL [T] STRING_32 STRING_8 TEXT_PANEL_BUFFERED_DATA
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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