note description: "Cars" author: "JSO" date: "$Date$" revision: "$Revision$" class CAR inherit ANY redefine is_equal, out end create make feature -- Queries name: STRING_8 feature {NONE} -- Constructor make (n: STRING_8) -- create car n do name := n ensure name ~ n end feature -- Equality is_equal (other: like Current): BOOLEAN -- Is current car equal to 'other'? do if other /= Void then Result := name ~ other.name end end feature -- Debug output debug_output: STRING_8 do Result := out end out: STRING_8 -- New string containing terse printable representation -- of current object do Result := name end end -- class CAR
Generated by ISE EiffelStudio