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

em.audio

Class EM_AUDIO_GROUPS



Creation

Features

Invariants

indexing

description

Implements a countainer to hold channel groups.

Use this class to store channel groups.

Note: You should not use this class as grouping is
available through {EM_CHANNELS}. {EM_CHANNELS}
will do all the dirty work for you.

date

$Date: 2005/10/24 07:03:36 $

revision

$Revision: 1.1 $

class

EM_AUDIO_GROUPS

create

make_empty

-- Create group list.

feature -- Initialization

make_empty

-- Create group list.

feature -- Access

count: INTEGER

-- Number of groups in list

i_th (an_index: INTEGER): EM_AUDIO_GROUP

-- Group at position an_index

require
valid_index: 1 <= an_index and then an_index <= count

feature -- Operations

extend (a_number: INTEGER)

-- Extend groups with a_number of channels.
-- New channels are put as last elements.

put (a_group: EM_AUDIO_GROUP; an_index: INTEGER)

-- Put a_group into list at position an_index.

require
valid_index: 1 <= an_index and then an_index <= count
valid_group: a_group.number = an_index
remove (a_number: INTEGER)

-- Remove a_number of groups from group_list.

invariant

group_list_created: group_list /= Void

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

end