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