indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table COMMUNITY" class COMMUNITY inherit ANY redefine out end create make feature -- Access community_id: INTEGER -- Auto-generated. name: STRING -- Auto-generated. description: STRING -- Auto-generated. logo: STRING -- Auto-generated. feature -- Initialization make is do community_id := 0 name := "" description := "" logo := "" end feature -- Settings set_community_id (a_community_id: INTEGER) is --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_name (a_name: STRING) is --Set the value of name require value_exists: a_name /= Void do name := a_name ensure name_set: a_name = name end set_description (a_description: STRING) is --Set the value of description require value_exists: a_description /= Void do description := a_description ensure description_set: a_description = description end set_logo (a_logo: STRING) is --Set the value of logo require value_exists: a_logo /= Void do logo := a_logo ensure logo_set: a_logo = logo end feature -- Output out: STRING is do Result := "" Result.append (community_id.out + "%N") Result.append (name.out + "%N") Result.append (description.out + "%N") Result.append (logo.out + "%N") end end -- class COMMUNITY