indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table USER_FRIENDSHIP_REQUEST" class USER_FRIENDSHIP_REQUEST inherit ANY redefine out end create make feature -- Access requester_id: INTEGER -- Auto-generated. requestee_id: INTEGER -- Auto-generated. creation_time: INTEGER -- Auto-generated. feature -- Initialization make is do requester_id := 0 requestee_id := 0 creation_time := 0 end feature -- Settings set_requester_id (a_requester_id: like requester_id) is --Set the value of user_a_id require value_exists: a_requester_id > 0 do requester_id := a_requester_id ensure requester_id_set: a_requester_id = requester_id end set_requestee_id (a_requestee_id: like requestee_id) is --Set the value of user_b_id require value_exists: a_requestee_id > 0 do requestee_id := a_requestee_id ensure requestee_id_set: a_requestee_id = requestee_id end set_creation_time (a_creation_time: like creation_time) is --Set the value of creation_time require value_exists: a_creation_time > 0 do creation_time := a_creation_time ensure creation_time_set: a_creation_time = creation_time end feature -- Output out: STRING is do Result := "" Result.append (requester_id.out + "%N") Result.append (requestee_id.out + "%N") Result.append (creation_time.out + "%N") end end -- class USER_FRIENDSHIP_REQUEST