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

em.timer

Class EM_TIME_SINGLETON


Known direct descendants

EM_SCENE, EM_EVENT_LOOP, EM_FRAME_COUNTER, EM_TIMER_SUBSYSTEM, EM_LOCAL_HIGHSCORE, EM_MUSIC_PLAYER, EM_SOUND_PLAYER, EM_TIMER, EM_DELAYED_PROCEDURES, EM_SPRITE, EM_NET_PROTOCOL, EM_NET_GROUP, EM_NET_BASE, EM_NET_EVENT_CONTAINER_OBJECT, EM_SMJPEG_DECODER, EM_NORMALIZED_SPEED, EM_NEVER_ENDING_BACKGROUND, EM_WIDGET_SCENE, EM_GOOF_PANEL, EM_TEXTBOX, EM_FPS_LABEL

Features

Invariants

indexing

description

Inherit from this class if you need EM_TIME functionality.

date

$Date: 2005/10/23 10:31:22 $

revision

$Revision: 1.4 $

class

EM_TIME_SINGLETON

feature -- Access

time: EM_TIME

-- Returns reference to the singleton

ensure
time_not_void: Result /= Void

invariant

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

end