Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_HOT_ZONE_TAB_UPPER Ancestors SD_HOT_ZONE_TAB Clients SD_HOT_ZONE_TAB_UPPER SD_HOT_ZONE_TRIANGLE_FACTORY Suppliers ARRAYED_LIST [G] BOOLEAN EV_RECTANGLE HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 REAL_64 SD_DOCKER_MEDIATOR SD_ENUMERATION SD_FEEDBACK_DRAWER SD_HOT_ZONE_TAB_UPPER 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