Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org