Automatic generation produced by ISE Eiffel
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 -- Generated by Eiffel Studio --
For more details: eiffel.org