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