indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table USER_INFORMATION" class USER_INFORMATION inherit ANY redefine out end create make feature -- Access user_id: INTEGER -- Auto-generated. first_name: STRING -- Auto-generated. last_name: STRING -- Auto-generated. gender: STRING -- Auto-generated. icon: STRING -- Auto-generated. languages: STRING -- Auto-generated. registration_date: INTEGER -- Auto-generated. last_login: INTEGER -- Auto-generated. birthday: DATE -- Auto-generated. timezone: STRING -- Auto-generated. signature: STRING -- Auto-generated. message: STRING -- Auto-generated. homepage: STRING -- Auto-generated. blog: STRING -- Auto-generated. ohloh_profile: STRING -- Auto-generated. icq: STRING -- Auto-generated. aim: STRING -- Auto-generated. jabber: STRING -- Auto-generated. yahoo: STRING -- Auto-generated. msn: STRING -- Auto-generated. skype: STRING -- Auto-generated. sip: STRING -- Auto-generated. feature -- Initialization make is do user_id := 0 first_name := "" last_name := "" gender := "" icon := "" languages := "" registration_date := 0 last_login := 0 create birthday.make (1900, 1, 1) timezone := "" signature := "" message := "" homepage := "" blog := "" ohloh_profile := "" icq := "" aim := "" jabber := "" yahoo := "" msn := "" skype := "" sip := "" end feature -- Settings set_user_id (a_user_id: like user_id) is --Set the value of user_id require value_exists: a_user_id > 0 do user_id := a_user_id ensure user_id_set: a_user_id = user_id end set_first_name (a_first_name: like first_name) is --Set the value of first_name require value_exists: a_first_name /= Void do first_name := a_first_name ensure first_name_set: a_first_name = first_name end set_last_name (a_last_name: like last_name) is --Set the value of last_name require value_exists: a_last_name /= Void do last_name := a_last_name ensure last_name_set: a_last_name = last_name end set_gender (a_gender: like gender) is --Set the value of gender require value_exists: a_gender /= Void do gender := a_gender ensure gender_set: a_gender = gender end set_icon (an_icon: like icon) is --Set the value of icon require value_exists: an_icon /= Void do icon := an_icon ensure icon_set: an_icon = icon end set_languages (a_languages: like languages) is --Set the value of languages require value_exists: a_languages /= Void do languages := a_languages ensure languages_set: a_languages = languages end set_registration_date (a_registration_date: like registration_date) is --Set the value of registration_date require value_exists: a_registration_date > 0 do registration_date := a_registration_date ensure registration_date_set: a_registration_date = registration_date end set_last_login (a_last_login: like last_login) is --Set the value of last_login require value_exists: a_last_login > 0 do last_login := a_last_login ensure last_login_set: a_last_login = last_login end set_birthday (a_birthday: like birthday) is --Set the value of birthday require value_exists: a_birthday /= Void do birthday := a_birthday ensure birthday_set: a_birthday = birthday end set_timezone (a_timezone: like timezone) is --Set the value of timezone require value_exists: a_timezone /= Void do timezone := a_timezone ensure timezone_set: a_timezone = timezone end set_signature (a_signature: like signature) is --Set the value of signature require value_exists: a_signature /= Void do signature := a_signature ensure signature_set: a_signature = signature end set_message (a_message: like message) is --Set the value of message require value_exists: a_message /= Void do message := a_message ensure message_set: a_message = message end set_homepage (a_homepage: like homepage) is --Set the value of homepage require value_exists: a_homepage /= Void do homepage := a_homepage ensure homepage_set: a_homepage = homepage end set_blog (a_blog: like blog) is --Set the value of blog require value_exists: a_blog /= Void do blog := a_blog ensure blog_set: a_blog = blog end set_ohloh_profile (a_ohloh_profile: like ohloh_profile) is --Set the value of ohloh_profile require value_exists: a_ohloh_profile /= Void do ohloh_profile := a_ohloh_profile ensure ohloh_profile_set: a_ohloh_profile = ohloh_profile end set_icq (a_icq: like icq) is --Set the value of icq require value_exists: a_icq /= Void do icq := a_icq ensure icq_set: a_icq = icq end set_aim (a_aim: like aim) is --Set the value of aim require value_exists: a_aim /= Void do aim := a_aim ensure aim_set: a_aim = aim end set_jabber (a_jabber: like jabber) is --Set the value of jabber require value_exists: a_jabber /= Void do jabber := a_jabber ensure jabber_set: a_jabber = jabber end set_yahoo (a_yahoo: like yahoo) is --Set the value of yahoo require value_exists: a_yahoo /= Void do yahoo := a_yahoo ensure yahoo_set: a_yahoo = yahoo end set_msn (a_msn: like msn) is --Set the value of msn require value_exists: a_msn /= Void do msn := a_msn ensure msn_set: a_msn = msn end set_skype (a_skype: like skype) is --Set the value of skype require value_exists: a_skype /= Void do skype := a_skype ensure skype_set: a_skype = skype end set_sip (a_sip: like sip) is --Set the value of sip require value_exists: a_sip /= Void do sip := a_sip ensure sip_set: a_sip = sip end feature -- Output out: STRING is do Result := "" Result.append (user_id.out + "%N") Result.append (first_name.out + "%N") Result.append (last_name.out + "%N") Result.append (gender.out + "%N") Result.append (icon.out + "%N") Result.append (languages.out + "%N") Result.append (registration_date.out + "%N") Result.append (last_login.out + "%N") Result.append (birthday.out + "%N") Result.append (timezone.out + "%N") Result.append (signature.out + "%N") Result.append (message.out + "%N") Result.append (homepage.out + "%N") Result.append (blog.out + "%N") Result.append (ohloh_profile.out + "%N") Result.append (icq.out + "%N") Result.append (aim.out + "%N") Result.append (jabber.out + "%N") Result.append (yahoo.out + "%N") Result.append (msn.out + "%N") Result.append (skype.out + "%N") Result.append (sip.out + "%N") end end -- class USER_INFORMATION