Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_DOCKABLE_TARGET_I General cluster: implementation_interface description: "Implementation interface for dockable target." Ancestors EV_ANY_I* EV_DOCKABLE_TARGET_ACTION_SEQUENCES_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