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

em

Class EM_SHARED_SUBSYSTEMS


Known direct descendants

EM_JOYSTICK, EM_APPLICATION, EM_EVENT_LOOP, EM_CDROM, EM_HIGHSCORE, EM_AUDIO_FACTORY, EM_MUSIC_PLAYER, EM_SOUND_PLAYER, EM_THREAD, EM_SURFACE, EM_SIMPLE_UDP_SOCKET, EM_INET_SOCKET_ADDRESS, EM_SOCKET, EM_INET_ADDRESS, EM_TCP_SERVER_SOCKET, EM_BITMAP_FACTORY, EM_VIDEO_DECODER, EM_TRANSFORMER, EM_GL_SCENE, EM_TRANSPARENT_BACKGROUND, EM_COMPONENT, EM_COMPONENT_SCENE

Features

Invariants

indexing

description

Shared access for subsystem singletons.

date

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

revision

$Revision: 1.8 $

class

EM_SHARED_SUBSYSTEMS

feature -- Access

audio_subsystem: EM_AUDIO_SUBSYSTEM

-- EiffelMedia audio subsystem

ensure
audio_subsystem_not_void: Result /= Void
cdrom_subsystem: EM_CDROM_SUBSYSTEM

-- EiffelMedia CD ROM subsystem

ensure
cdrom_subsystem_not_void: Result /= Void
joystick_subsystem: EM_JOYSTICK_SUBSYSTEM

-- EiffelMedia joystick subsystem

ensure
joystick_subsystem_not_void: Result /= Void
network_subsystem: EM_NETWORK_SUBSYSTEM

-- EiffelMedia network subsystem is

ensure
network_subsystem_not_void: Result /= void
timer_subsystem: EM_TIMER_SUBSYSTEM

-- EiffelMedia timer subsystem

ensure
timer_subsystem_not_void: Result /= Void
video_subsystem: EM_VIDEO_SUBSYSTEM

-- EiffelMedia video subsystem

ensure
video_subsystem_not_void: Result /= Void

invariant

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

end