note
	description: "Patients."
	author: "Jackie Wang"

class interface
	PATIENT

create 
	make

feature -- queries

	name: STRING_8
	
feature -- constructor

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

	is_equal (other: like Current): BOOLEAN
			-- Is current patient equal to 'other'?
	
feature -- Debug output

	debug_output: STRING_8

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
	
end -- class PATIENT

Generated by ISE EiffelStudio