Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_DOCKABLE_TARGET General cluster: interface description: "Objects that allow dockable sources to be inserted as part of the dockable mechanism. Use enable_docking to permit sources to be dropped, and veto_dock_function to restrict which sources will be accepted. If a source is rejected by the veto function, then the parent structure will be explored until there are no more parents, or the source being transported is accepted. docked_actions is fired after the source of transport has been parented in Current." Ancestors EV_ANY* EV_DOCKABLE_TARGET_ACTION_SEQUENCES* IDENTIFIED Action sequences docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE Queries data: detachable ANY id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED is_destroyed: BOOLEAN is_docking_enabled: BOOLEAN object_id: INTEGER_32 veto_dock_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN] Commands destroy disable_docking dispose enable_docking free_id set_data (some_data: [like data] detachable ANY) set_veto_dock_function (a_function: FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN])
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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