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

em.audio

Class EM_SHARED_AUDIO_FACTORY


Known direct descendants

EM_CHANNEL, EM_MUSIC_PLAYER, EM_AUDIO_MOVIE_STREAM, EM_SOUND_PLAYER, EM_FILE_LOADER

Features

Invariants

indexing

description

Singleton access to the {EM_AUDIO_FACTORY} that creates objects
of type EM_MUSIC, EM_SOUND and/or to initialize an audio stream.

date

$Date: 2005/10/22 13:22:42 $

revision

$Revision: 1.6 $

class

EM_SHARED_AUDIO_FACTORY

feature -- Singleton access

audio_factory: EM_AUDIO_FACTORY

-- Audio factory singleton

ensure
audio_factory_not_void: Result /= Void

invariant

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

end