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