Automatic generation produced by ISE Eiffel
deferred class SD_HOT_ZONE Ancestors SD_ACCESS* Descendants SD_HOT_ZONE_CONTENT* SD_HOT_ZONE_MAIN SD_HOT_ZONE_MAIN_EDITOR SD_HOT_ZONE_OLD_DOCKING SD_HOT_ZONE_OLD_MAIN SD_HOT_ZONE_OLD_MAIN_EDITOR Clients SD_DOCKER_MEDIATOR SD_HOT_ZONE* Suppliers SD_HOT_ZONE* -- Generated by Eiffel Studio --
For more details: eiffel.org