note description: "Summary description for {VERTEX}." author: "" date: "$Date$" revision: "$Revision$" class VERTEX [G -> COMPARABLE] inherit COMPARABLE redefine is_equal, out end create make convert make ({G}) feature {NONE} -- Initialization make (g: G) -- Initialization for Current. do item := g name := "v:" + g.out end feature -- Queries name: STRING_8 item: G is_less alias "<" (other: like Current): BOOLEAN -- Is current object less than other? do Result := item < other.item end out: STRING_8 -- New string containing terse printable representation -- of current object do Result := name end is_equal (other: like Current): BOOLEAN -- Is other attached to an object of the same type -- as current object and identical to it? do Result := item ~ other.item end end -- class VERTEX
Generated by ISE EiffelStudio