Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_ACCELERATOR_I General cluster: implementation_interface description: "Eiffel Vision accelerator. Implementation interface." Ancestors EV_ANY_I* Action sequences actions: EV_NOTIFY_ACTION_SEQUENCE Queries alt_required: BOOLEAN control_required: BOOLEAN is_destroyed: BOOLEAN key: EV_KEY parented: BOOLEAN shift_required: BOOLEAN Commands disable_alt_required disable_control_required disable_parented disable_shift_required enable_alt_required enable_control_required enable_parented enable_shift_required set_key (a_key: EV_KEY)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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