note
	description: "Pairs."
	author: "JSO, Jackie Wang"

class interface
	PAIR [G -> attached ANY, H -> attached ANY]

create 
	make,
	make_from_tuple

convert
	make_from_tuple ({TUPLE [G, H]}),
	as_tuple: {TUPLE [G, H]}

feature -- Queries

	first: G

	second: H
	
feature -- Constructor

	make (g: G; h: H)

	make_from_tuple (t: TUPLE [g: G; h: H])
		require
				t.count = 2
				attached {G} t.g
				attached {H} t.h

	as_tuple: TUPLE [G, H]
	
feature -- Equality

	is_equal (other: like Current): BOOLEAN
			-- Is current pair equal to 'other'?
	
feature -- Debug output

	debug_output: STRING_8
			-- String that should be displayed in debugger to represent Current.

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
	
end -- class PAIR

Generated by ISE EiffelStudio