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

em.audio

Class EM_AUDIO


Direct ancestors

EWG_STRUCT, SDL_AUDIO_CVT_STRUCT_EXTERNAL, SDL_AUDIO_SPEC_STRUCT_EXTERNAL

Known direct descendants

EM_SOUND, EM_MUSIC

Features

Invariants

indexing

description

Deferred class for any audio file.

Use filename to be able to select a specific from a list
and/or other containers.

date

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

revision

$Revision: 1.11 $

deferred class

EM_AUDIO

feature -- Access

filename: STRING

-- Filename for audio chunk

item: POINTER

-- Pointer to the wrapped struct

-- (From EWG_STRUCT)

require
exists: exists
ensure
item_not_default_pointer: Result /= Default_pointer
sizeof: INTEGER

-- Size of object

-- (From EWG_STRUCT)

ensure
sizeof_positive: Result > 0

feature -- Element change

set_filename (a_filename: like internal_filename)

-- Set internal_filename to a_filename.

require
a_filename /= Void
ensure
filename_set: internal_filename = a_filename

feature -- Conversion

to_pointer: POINTER

-- Returns pointer to audio chunk

ensure
Result_assigned: Result = item

invariant

-- From EWG_STRUCT
managed_data_not_void: managed_data /= Void
managed_capacity_equals_sizeof: exists implies managed_data.capacity = sizeof

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

end