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

em.audio

Class EM_MUSIC_FINISHED


Direct ancestors

VOID_VOID_ANONYMOUS_CALLBACK_CALLBACK, SDL_MIXER_FUNCTIONS_EXTERNAL

Creation

Features

Invariants

indexing

description

Implements callback for finished music.

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

You have to subscribe to the music_finished event.

date

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

revision

$Revision: 1.6 $

class

EM_MUSIC_FINISHED

create

make

-- Initialize new music finished object

feature -- Events

music_finished: EM_EVENT_TYPE [TUPLE []]

-- Event is fired when music finishes playing.

invariant


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

end