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

em.widget.input

Class EM_SHARED_FOCUS


Known direct descendants

EM_COMPONENT, EM_COMPONENT_SCENE

Features

Invariants

indexing

description

Shared access to focus singletons.

date

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

revision

$Revision: 1.6 $

class

EM_SHARED_FOCUS

feature -- Access

joystick_focus: EM_JOYSTICK_FOCUS

-- Joystick focus singleton

ensure
joystick_focus_not_void: Result /= Void
keyboard_focus: EM_KEYBOARD_FOCUS

-- Keyboard focus singleton

ensure
keyboard_focus_not_void: Result /= Void
shared_mouse_focus: EM_MOUSE_FOCUS

-- Mouse focus singleton

ensure
shared_mouse_focus_not_void: Result /= Void

invariant

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

end