Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_HOT_ZONE_MAIN Ancestors SD_HOT_ZONE* Clients SD_HOT_ZONE_MAIN SD_HOT_ZONE_TRIANGLE_FACTORY Suppliers BOOLEAN EV_PIXEL_BUFFER EV_RECTANGLE INTEGER_32 REAL_32 SD_DOCKER_MEDIATOR SD_DOCKING_MANAGER SD_DOCKING_MANAGER_QUERY SD_ENUMERATION SD_FEEDBACK_DRAWER SD_FEEDBACK_INDICATOR SD_FLOATING_ZONE SD_HOT_ZONE_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