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