indexing description: "[ This is your custom Eiffel type that already existed before you decided to use the GigaSpaces platform. ]" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date$" revision: "$Revision$" class PERSON create make_empty, make feature name: STRING age: INTEGER birth_date: STRING height: DOUBLE weight: REAL id: STRING; is_married: BOOLEAN phone: INTEGER_64 feature -- Creation make_empty is -- do create id.make_empty create name.make_empty create birth_date.make_empty end make (an_id: STRING; a_name: STRING) is require an_id_not_void: an_id /= Void a_name_not_void: a_name /= Void local date: DATE do set_id (an_id) set_name (a_name) set_age (28) set_height (6.2) set_weight (201) set_phone (1177777777) create date.make_now create birth_date.make_from_string (date.out) end feature set_id (an_id: like id) is -- require an_id_not_void: an_id /= Void do id := an_id end set_name (a_name: like name) is require a_name_not_void: a_name /= Void do name := a_name end set_age (an_age: like age) is -- do age := an_age end set_height (a_height: like height) is -- do height := a_height end set_weight (a_weight: like weight) is -- do weight := a_weight end set_phone (a_phone: like phone) is -- do phone := a_phone end set_birth_date (a_birth_date: like birth_date) is -- require a_birth_date_not_void: a_birth_date /= Void do birth_date := a_birth_date end set_married (married: like is_married) is -- do is_married := married end indexing copyright: "Copyright (c) 2008, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end