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

em.audio

Class EM_AUDIO_MOVIE_STREAM


Direct ancestors

EM_SHARED_AUDIO_FACTORY, EM_AUDIO_STREAM

Creation

Features

Invariants

indexing

description

Implementation of a movie stream.

Use this class to play an additional audiotrack in movies.

date

$Date: 2005/10/28 08:27:02 $

revision

$Revision: 1.12 $

class

EM_AUDIO_MOVIE_STREAM

create

make (a_buffer: like buffer)

-- Create new movie stream instance.

require
a_buffer_exist: a_buffer /= Void
ensure
stopped: not is_playing

feature -- Playback

start

-- Start playing.

require
stopped: not is_playing
ensure
playing: is_playing
stop

-- Stop playing.

require
playing: is_playing
ensure
stopped: not is_playing

feature -- Status

is_playing: BOOLEAN

invariant

buffer_exist: buffer /= Void
audio_none_exist: audio_none /= Void

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

end