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

em.audio

Class EM_CHANNEL_FINISHED


Direct ancestors

VOID_INT_ANONYMOUS_CALLBACK_CALLBACK, SDL_MIXER_FUNCTIONS_EXTERNAL

Creation

Features

Invariants

indexing

description

Implements callback for finished channels.

Create a new object of this class if you want to receive
channel finished callbacks.

You have to subscribe to the channel_finished event.

date

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

revision

$Revision: 1.5 $

class

EM_CHANNEL_FINISHED

create

make

-- Initialize new channel finished object.

feature -- Event

channel_finished: EM_EVENT_TYPE [TUPLE [INTEGER]]

-- Event fired when channel finishes playback.

invariant


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

end