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