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