Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_SIZEABLE_IMP Ancestors EV_ANY_I* Descendants EV_SIZEABLE_CONTAINER_IMP* EV_SIZEABLE_PRIMITIVE_IMP* EV_WIDGET_IMP* Clients EV_FIXED_IMP EV_SIZEABLE_IMP* Suppliers BOOLEAN EV_POS_INFO EV_SIZEABLE_IMP* INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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