indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table PROJECT" class PROJECT inherit ANY redefine out end create make feature -- Access project_id: INTEGER -- Auto-generated. name: STRING -- Auto-generated. description: STRING -- Auto-generated. logo: STRING -- Auto-generated. closed_source: STRING -- Auto-generated. hidden: STRING -- Auto-generated. feature -- Initialization make is do project_id := 0 name := "" description := "" logo := "" closed_source := "false" hidden := "false" end feature -- Settings set_project_id (a_project_id: INTEGER) is --Set the value of project_id require value_exists: a_project_id > 0 do project_id := a_project_id ensure project_id_set: a_project_id = project_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 set_closed_source (a_is_closed_source: BOOLEAN) is --Set the value of closed_source do if a_is_closed_source then closed_source := "true" else closed_source := "false" end end set_hidden (a_is_hidden: BOOLEAN) is --Set the value of hidden do if a_is_hidden then hidden := "true" else hidden := "false" end end feature -- Output out: STRING is do Result := "" Result.append (project_id.out + "%N") Result.append (name.out + "%N") Result.append (description.out + "%N") Result.append (logo.out + "%N") Result.append (closed_source.out + "%N") Result.append (hidden.out + "%N") end end -- class PROJECT