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

em.utility

Class EM_PAIR



Creation

Features

Invariants

indexing

description

A pair of objects.

date

$Date: 2005/10/24 04:01:08 $

revision

$Revision: 1.6 $

class

EM_PAIR [G, H]

create

make (v1:G; v2:H)

-- creates the pair

ensure
first = v1second = v2

feature -- Access

first: G

-- First element of the pair

second: H

-- Second element of the pair

feature -- Creation

make (v1:G; v2:H)

-- creates the pair

ensure
first = v1second = v2

feature -- Element Change

put (v1: G; v2: H)

-- Put elements into pair.

ensure
first = v1second = v2
put_first (v1:G)

-- Puts an element into the first part of the pair.

ensure
first = v1
put_second (v2:H)

-- Puts an element into the second part of the pair

ensure
second = v2

invariant

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

end