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