note | |
description: "Represents a person." | |
class | |
PERSON | |
create | |
make, make_unknown | |
feature {NONE} -- Creation | |
make (a_name: like name) | |
-- Create a person with `a_name' as `name'. | |
do | |
name := a_name | |
ensure | |
name = a_name | |
end | |
make_unknown | |
do ensure | |
name = Void | |
end | |
feature -- Access | |
name: detachable STRING | |
-- Full name or Void if unknown. | |
end |