Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class MANAGED_SHORTCUT General cluster: interface description: "Objects represents a managed shortcut" Ancestors ANY Action sequences modification_deny_actions: EV_NOTIFY_ACTION_SEQUENCE overridden_actions: EV_NOTIFY_ACTION_SEQUENCE Queries display_string: STRING_32 group: detachable MANAGED_SHORTCUT_GROUP is_alt: BOOLEAN is_ctrl: BOOLEAN is_fixed: BOOLEAN is_shift: BOOLEAN is_wiped: BOOLEAN key: EV_KEY matches (a_key: [like key] EV_KEY; alt, ctrl, shift: BOOLEAN): BOOLEAN matches_shortcut (a_shortcut: [like Current] MANAGED_SHORTCUT): BOOLEAN modifiable_with (a_key: [detachable like key] detachable EV_KEY; alt, ctrl, shift: BOOLEAN): BOOLEAN name: STRING_8 Commands set_group (a_group: MANAGED_SHORTCUT_GROUP) set_values (a_key: [detachable like key] detachable EV_KEY; alt, ctrl, shift: BOOLEAN)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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