indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table USER_FRIENDSHIP" class USER_FRIENDSHIP inherit ANY redefine out end create make feature -- Access user_id: INTEGER -- Auto-generated. friend_id: INTEGER -- Auto-generated. feature -- Initialization make is do user_id := 0 friend_id := 0 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_friend_id (a_friend_id: like friend_id) is --Set the value of friend_id require value_exists: a_friend_id > 0 do friend_id := a_friend_id ensure friend_id_set: a_friend_id = friend_id end feature -- Output out: STRING is do Result := "" Result.append (user_id.out + "%N") Result.append (friend_id.out + "%N") end end -- class USER_FRIENDSHIP