note 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. disable_date: INTEGER -- Auto-generated. birthday: DATE_TIME -- 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. irc: STRING -- Auto-generated. profile_visible: INTEGER -- Auto-generated. workitems_per_page: INTEGER -- Auto-generated. issues_per_page: INTEGER -- Auto-generated. feed_show_unread: INTEGER -- Auto-generated. feature -- Initialization make do user_id := 0 first_name := "" last_name := "" gender := "" icon := "" languages := "" registration_date := 0 last_login := 0 disable_date := 0 create birthday.make_now timezone := "" signature := "" message := "" homepage := "" blog := "" ohloh_profile := "" icq := "" aim := "" jabber := "" yahoo := "" msn := "" skype := "" sip := "" irc := "" profile_visible := 0 workitems_per_page := 0 issues_per_page := 0 feed_show_unread := 0 end feature -- Settings set_user_id (a_user_id: INTEGER) --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: STRING) --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: STRING) --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: STRING) --Set the value of gender require value_exists: a_gender /= Void do gender := a_gender ensure gender_set: a_gender = gender end set_icon (a_icon: STRING) --Set the value of icon require value_exists: a_icon /= Void do icon := a_icon ensure icon_set: a_icon = icon end set_languages (a_languages: STRING) --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: INTEGER) --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: INTEGER) --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_disable_date (a_disable_date: INTEGER) --Set the value of disable_date require value_exists: a_disable_date >= 0 do disable_date := a_disable_date ensure disable_date_set: a_disable_date = disable_date end set_birthday (a_birthday: DATE_TIME) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --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: STRING) --Set the value of sip require value_exists: a_sip /= Void do sip := a_sip ensure sip_set: a_sip = sip end set_irc (a_irc: STRING) --Set the value of irc require value_exists: a_irc /= Void do irc := a_irc ensure irc_set: a_irc = irc end set_profile_visible (a_profile_visible: INTEGER) --Set the value of profile_visible require value_exists: a_profile_visible >= 0 do profile_visible := a_profile_visible ensure profile_visible_set: a_profile_visible = profile_visible end set_workitems_per_page (a_workitems_per_page: INTEGER) --Set the value of workitems_per_page require value_exists: a_workitems_per_page >= 0 do workitems_per_page := a_workitems_per_page ensure workitems_per_page_set: a_workitems_per_page = workitems_per_page end set_issues_per_page (a_issues_per_page: INTEGER) --Set the value of issues_per_page require value_exists: a_issues_per_page >= 0 do issues_per_page := a_issues_per_page ensure issues_per_page_set: a_issues_per_page = issues_per_page end set_feed_show_unread (a_feed_show_unread: INTEGER) --Set the value of feed_show_unread require value_exists: a_feed_show_unread >= 0 do feed_show_unread := a_feed_show_unread ensure feed_show_unread_set: a_feed_show_unread = feed_show_unread end feature -- Output out: STRING 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 (disable_date.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") Result.append (irc.out + "%N") Result.append (profile_visible.out + "%N") Result.append (workitems_per_page.out + "%N") Result.append (issues_per_page.out + "%N") Result.append (feed_show_unread.out + "%N") end end -- class USER_INFORMATION