eiffel.e 375 B

123456789101112131415161718192021222324252627282930
  1. note
  2. description: "Represents a person."
  3. class
  4. PERSON
  5. create
  6. make, make_unknown
  7. feature {NONE} -- Creation
  8. make (a_name: like name)
  9. -- Create a person with `a_name' as `name'.
  10. do
  11. name := a_name
  12. ensure
  13. name = a_name
  14. end
  15. make_unknown
  16. do ensure
  17. name = Void
  18. end
  19. feature -- Access
  20. name: detachable STRING
  21. -- Full name or Void if unknown.
  22. end