Automatic generation produced by ISE Eiffel
deferred class SD_HOT_ZONE_FACTORY_FACTORY General cluster: implementation_mswin description: "Factory for SD_HOT_ZONE_ABSTRACT_FACTORY" Ancestors ANY Queries hot_zone_factory (m: SD_DOCKER_MEDIATOR): SD_HOT_ZONE_ABSTRACT_FACTORY -- Generated by Eiffel Studio --
For more details: eiffel.org