Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_BOX_I Ancestors EV_DOCKABLE_TARGET_I* EV_WIDGET_LIST_I* Descendants EV_BOX_IMP* EV_HORIZONTAL_BOX_I* EV_VERTICAL_BOX_I* Clients EV_BOX* EV_BOX_I* Suppliers BOOLEAN EV_BOX_I* INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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