note description: "People" author: "JSO" class PERSON inherit ANY redefine is_equal, out end create make feature -- queries name: STRING_8 feature -- constructor make (n: STRING_8) -- Initialize a new patient identified through 'n'. require n /= Void do name := n ensure name ~ n end feature -- equality is_equal (other: like Current): BOOLEAN -- Is current patient equal to 'other'? do if other /= Void then Result := name ~ other.name end end feature -- Debug output debug_output: STRING_8 do Result := out end out: STRING_8 -- New string containing terse printable representation -- of current object do Result := name end end -- class PERSON
Generated by ISE EiffelStudio