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

em

Class EM_TIMER_SUBSYSTEM


Direct ancestors

EM_SUBSYSTEM, EM_CONSTANTS, EM_TIME_SINGLETON, SDL_FUNCTIONS_EXTERNAL

Creation

Features

Invariants

indexing

description

Singleton representing the timer subsystem.
Use EM_SHARED_SUBSYSTEMS to access this class.

date

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

revision

$Revision: 1.7 $

class

EM_TIMER_SUBSYSTEM

inherit

EM_SUBSYSTEM

create {EM_SHARED_SUBSYSTEMS}

make

-- Initialise subsystem whitout enabling it.

ensure
not_enabled: not is_enabled

feature -- Status report

is_enabled: BOOLEAN

-- Is timer subsystem enabled?

-- (From EM_SUBSYSTEM)

feature -- Subsystem management

base_disable

-- Disable basic systems.

-- (From EM_SUBSYSTEM)

base_enable

-- Enable basic systems.

-- (From EM_SUBSYSTEM)

disable

-- Disable EiffelMedia timer subsystem.

-- (From EM_SUBSYSTEM)

require
enabled: is_enabled
enable

-- Enable EiffelMedia timer subsystem.

-- (From EM_SUBSYSTEM)

require
not_enabled: not is_enabled
enabled_subsystem_count: DS_CELL [INTEGER]

-- Count of enabled subsystems

-- (From EM_SUBSYSTEM)

invariant


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

end