Eiffel Media API
Overview
Cluster
Class
Classes
Index
Previous
Next
Top
Features
em
.
widget
Class EM_SHARED_COMPONENT_EVENT_QUEUE
Known direct descendants
EM_COMPONENT
,
EM_COMPONENT_SCENE
Features
Access
component_event_queue
Invariants
indexing
description
Shared access to
component_event_queue
singleton.
date
$Date$
revision
$Revision$
class
EM_SHARED_COMPONENT_EVENT_QUEUE
feature
-- Access
component_event_queue
:
EM_COMPONENT_EVENT_QUEUE
-- Widget event queue
invariant
-- From
ANY
reflexive_equality:
standard_is_equal
(
Current
)
reflexive_conformance:
conforms_to
(
Current
)
end
Shared access to component_event_queue singleton.