Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_NOTEBOOK_I Ancestors EV_FONTABLE_I* EV_ITEM_PIXMAP_SCALER_I* EV_NOTEBOOK_ACTION_SEQUENCES_I* EV_WIDGET_LIST_I* Descendants EV_NOTEBOOK_IMP Clients EV_NOTEBOOK EV_NOTEBOOK_I* Suppliers BOOLEAN EV_COORDINATE EV_NOTEBOOK EV_NOTEBOOK_I* EV_SCREEN INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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