note
	description: "A student with their administrative information."
	author: "JW and JSO"
	date: "$Date$"
	revision: "$Revision$"

class 
	STUDENT

inherit
	DEBUG_OUTPUT
		redefine
			is_equal,
			out
		end

create 
	make

feature -- Attributes

	name: STRING_8
	
feature -- Constructor

	make (n: STRING_8)
		require
				not n.is_empty
		do
			name := n
		ensure
				name ~ n
		end
	
feature -- Output

	debug_output: STRING_8
			-- String that should be displayed in debugger to represent Current.
		do
			Result := out
		end

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
		do
			Result := name
		end
	
feature -- Equality

	is_equal (other: like Current): BOOLEAN
			-- Is other attached to an object considered
			-- equal to current object?
		do
			Result := name ~ other.name
		ensure then
				Result = (name ~ other.name)
		end
	
end -- class STUDENT

Generated by ISE EiffelStudio