Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_SELECTABLE_I General cluster: implementation_interface description: "Eiffel Vision selectable. Implementation interface." keywords: "select, selectable" Ancestors EV_ANY_I* Queries is_destroyed: BOOLEAN is_selectable: BOOLEAN is_selected: BOOLEAN Commands enable_select
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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