indexing
description
date
revision
class
EM_AUDIO_MOVIE_STREAM
create
make (a_buffer
: like buffer)
require
a_buffer_exist: a_buffer /= Void
ensure
invariant
buffer_exist: buffer /= Void
audio_none_exist: audio_none /= Void
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end
Implementation of a movie stream.
Use this class to play an additional audiotrack in movies.