Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.widget.input

Class EM_KEYBOARD_SENSITIVE


Known direct descendants

EM_INPUT_SENSITIVE

Features

Invariants

indexing

description

Keyboard sensitive objects which dispatches keyboard events.

Subscribe on an event-type you want to be notified.

date

$Date: 2005/10/23 11:21:01 $

revision

$Revision: 1.8 $

deferred class

EM_KEYBOARD_SENSITIVE

feature -- Events

focus_lost_event: EM_EVENT_TYPE [TUPLE []]

-- Focus lost event

focus_received_event: EM_EVENT_TYPE [TUPLE []]

-- Focus received event

key_down_event: EM_EVENT_TYPE [TUPLE [EM_KEYBOARD_EVENT]]

-- Key down event

key_up_event: EM_EVENT_TYPE [TUPLE [EM_KEYBOARD_EVENT]]

-- Key up event

invariant

key_down_event_not_void: key_down_event /= Void
key_up_event_not_void: key_up_event /= Void
focus_received_event_not_void: focus_received_event /= Void
focus_lost_event_not_void: focus_lost_event /= Void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end