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

class interface
	STUDENT

create 
	make

feature -- Attributes

	name: STRING_8
	
feature -- Constructor

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

	debug_output: STRING_8
			-- String that should be displayed in debugger to represent Current.

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
	
feature -- Equality

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

Generated by ISE EiffelStudio