Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_BOX_IMP Ancestors EV_BOX_I* EV_DOCKABLE_TARGET_IMP* EV_WEL_CONTROL_CONTAINER_IMP* EV_WIDGET_LIST_IMP* Descendants EV_HORIZONTAL_BOX_IMP EV_VERTICAL_BOX_IMP Clients EV_BOX_IMP* EV_DOCKABLE_SOURCE_I* Suppliers ARRAYED_LIST [G] BOOLEAN EV_BOX_IMP* EV_LITE_ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end] EV_NEW_ITEM_ACTION_SEQUENCE EV_POS_INFO EV_WIDGET* EV_WIDGET_IMP* INTEGER_32 WEL_RECT
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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