note description: "Summary description for {PERSON_DETAILS}." author: "" date: "$Date$" revision: "$Revision$" class PERSON_DETAILS create make feature {NONE} -- Initialization make (a_zip: INTEGER; a_city, a_country: READABLE_STRING_GENERAL) do zip := a_zip set_city_name (a_city) set_country (a_country) end feature -- Access city_name: detachable IMMUTABLE_STRING_32 zip: INTEGER country: detachable IMMUTABLE_STRING_32 feature -- Element change set_zip (a_zip: INTEGER) do zip := a_zip end set_country (s: detachable READABLE_STRING_GENERAL) do if s = Void then country := Void else create country.make_from_string_general (s) end end set_city_name (s: detachable READABLE_STRING_GENERAL) do if s = Void then city_name := Void else create city_name.make_from_string_general (s) end end end