EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.utility

Class PAIR


Creation

Features

Invariants

indexing

description

A pair implementation since ISE's and SmartEiffel's tuples are not compatible and VisualEiffel has none at all

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class PAIR [G, H]

create

make (a_first: G; a_second: H)

-- Initialise pair with 'a_first' and 'a_second'.

require

a_first_not_void: a_first /= Void
a_second_not_void: a_second /= Void

ensure

first_set: first = a_first
second_set: second = a_second

feature -- Access

first: G

-- First element

second: H

-- Second element

invariant

first_not_void: first /= Void
second_not_void: second /= Void

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