note
	description: "People"
	author: "JSO"

class 
	PERSON

inherit
	ANY
		redefine
			is_equal,
			out
		end

create 
	make

feature -- queries

	name: STRING_8
	
feature -- constructor

	make (n: STRING_8)
			-- Initialize a new patient identified through 'n'.
		require
				n /= Void
		do
			name := n
		ensure
				name ~ n
		end
	
feature -- equality

	is_equal (other: like Current): BOOLEAN
			-- Is current patient 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 PERSON

Generated by ISE EiffelStudio