indexing description: "[ Singleton access to {EM_AUDIO_EVENTS} which provide access to audio events. ]" date: "$Date$" revision: "$Revision$" class EM_SHARED_AUDIO_EVENTS feature -- Singleton access audio_events: EM_AUDIO_EVENTS is -- Audio events singleton indexing once_status: global once create Result.make ensure audio_events_not_void: Result /= Void end end