Automatic generation produced by ISE Eiffel
deferred class SD_DOCKER_SOURCE General cluster: implementation_mswin description: "SD_ZONE which dockable SD_ZONE should inherited, used by SD_DOCKER_MEDIATOR" Ancestors ANY Commands add_hot_zones (a_docker_mediator: SD_DOCKER_MEDIATOR; a_hot_zones: ARRAYED_LIST [SD_HOT_ZONE]) Constraints internal shared not void -- Generated by Eiffel Studio --
For more details: eiffel.org