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

em

Class EM_SHARED_SCENE


Known direct descendants

EM_SCENE, EM_SMJPEG_DECODER, EM_COMBOBOX, EM_WINDOW

Features

Invariants

indexing

description

Shared access to currently running scene.

date

$Date: 2005/10/23 08:56:58 $

revision

$Revision: 1.6 $

class

EM_SHARED_SCENE

feature -- Access

running_scene: EM_SCENE

-- Scene that is currently running

feature -- Status report

has_running_scene: BOOLEAN

-- Is a scene currently running?

feature {EM_SCENE} -- Element change

set_running_scene (a_scene: EM_SCENE)

-- Set running_scene to a_scene.

ensure
running_scene_set: running_scene = a_scene

invariant

has_running_scene_definition: has_running_scene implies running_scene /= Void

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

end