indexing description: "[ Audio events like finished playing events ]" date: "$Date$" revision: "$Revision$" class EM_AUDIO_EVENTS create {EM_SHARED_AUDIO_EVENTS} make feature {NONE} -- Initialization make is -- Create new audio event channels. do create channel_finished_event create music_finished_event end feature -- Events channel_finished_event: EM_EVENT_CHANNEL [TUPLE [INTEGER]] -- channel finished event music_finished_event: EM_EVENT_CHANNEL [TUPLE []] -- music finished event end