Automatic generation produced by ISE Eiffel
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) -- Generated by Eiffel Studio --
For more details: eiffel.org