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

em

Class EM_SUBSYSTEM


Direct ancestors

EM_CONSTANTS, EM_SHARED_ERROR_HANDLER, SDL_FUNCTIONS_EXTERNAL, FASTEVENTS_FUNCTIONS_EXTERNAL, DISPOSABLE

Known direct descendants

EM_VIDEO_SUBSYSTEM, EM_THREAD_SUBSYSTEM, EM_NETWORK_SUBSYSTEM, EM_JOYSTICK_SUBSYSTEM, EM_AUDIO_SUBSYSTEM, EM_TIMER_SUBSYSTEM, EM_CDROM_SUBSYSTEM

Features

Invariants

indexing

description

Abstract subsystem that can be enabled and disabled.

date

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

revision

$Revision: 1.9 $

deferred class

EM_SUBSYSTEM

feature -- Status report

is_enabled: BOOLEAN

-- Is the subsystem enabled?

feature -- Subsystem management

base_disable

-- Disable basic systems.

base_enable

-- Enable basic systems.

disable

-- Disable subsystem.

require
enabled: is_enabled
enable

-- Enable subsystem.

require
not_enabled: not is_enabled
enabled_subsystem_count: DS_CELL [INTEGER]

-- Count of enabled subsystems

invariant


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

end