Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_DOCKABLE_TARGET_IMP General cluster: implementation_mswin description: "Windows implementation of dockable target." Ancestors EV_DOCKABLE_TARGET_I* Action sequences docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE Queries is_destroyed: BOOLEAN is_docking_enabled: BOOLEAN veto_dock_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN] Commands disable_docking enable_docking set_veto_dock_function (a_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN])
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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