Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_HOT_ZONE_OLD_MAIN Ancestors SD_HOT_ZONE* Clients SD_HOT_ZONE_OLD_DOCKING SD_HOT_ZONE_OLD_FACTORY SD_HOT_ZONE_OLD_MAIN Suppliers BOOLEAN EV_RECTANGLE EV_STOCK_PIXMAPS EV_WINDOW INTEGER_32 PLATFORM REAL_32 SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_QUERY SD_ENUMERATION SD_FEEDBACK_DRAWER SD_FLOATING_ZONE SD_HOT_ZONE_OLD_MAIN SD_ICONS_SINGLETON* SD_SHARED SD_STATE* SD_ZONE* STRING_8
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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