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

em.widget.input

Class EM_MOUSE_FOCUS



Features

Invariants

indexing

description

Store and manage the mouse focus. Used by EM_WIDGET_SCENE and
EM_COMPONENT_SCENE to set and retreive the keyboard focus.

Use EM_SHARED_FOCUS to access the singleton instance.

date

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

revision

$Revision: 1.5 $

class

EM_MOUSE_FOCUS

feature -- Access

current_focus: EM_COMPONENT

-- Current mouse focus

feature -- Status report

has_focus: BOOLEAN

-- Is a focus present?

feature -- Element change

set_current_focus (an_object: like current_focus)

-- Set current_focus to an_object.

ensure
current_focus_set: current_focus = an_object

invariant

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

end