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