Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_HORIZONTAL_BOX_IMP Ancestors EV_BOX_IMP* EV_HORIZONTAL_BOX_I* Clients EV_HORIZONTAL_BOX EV_HORIZONTAL_BOX_IMP Suppliers ARRAYED_LIST [G] BOOLEAN EV_HORIZONTAL_BOX_IMP EV_WIDGET_IMP* INTEGER_32 PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end]
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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