Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_HOT_ZONE_OLD_TAB Ancestors SD_HOT_ZONE_OLD_DOCKING Clients SD_HOT_ZONE_OLD_FACTORY SD_HOT_ZONE_OLD_TAB Suppliers BOOLEAN EV_RECTANGLE HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 SD_DOCKER_MEDIATOR SD_ENUMERATION SD_FEEDBACK_DRAWER SD_HOT_ZONE_OLD_TAB SD_NOTEBOOK_TAB SD_SHARED SD_STATE* SD_TAB_ZONE SD_ZONE* STRING_8
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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