note description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table PROJECT_INFORMATION" class PROJECT_INFORMATION inherit ANY redefine out end create make feature -- Access project_id: INTEGER -- Auto-generated. short_description: STRING -- Auto-generated. description: STRING -- Auto-generated. programming_language: STRING -- Auto-generated. operating_system: STRING -- Auto-generated. license: STRING -- Auto-generated. category: STRING -- Auto-generated. feature -- Initialization make do project_id := 0 short_description := "" description := "" programming_language := "" operating_system := "" license := "" category := "" end feature -- Settings set_project_id (a_project_id: INTEGER) --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_short_description (a_short_description: STRING) --Set the value of short_description require value_exists: a_short_description /= Void do short_description := a_short_description ensure short_description_set: a_short_description = short_description end set_description (a_description: STRING) --Set the value of description require value_exists: a_description /= Void do description := a_description ensure description_set: a_description = description end set_programming_language (a_programming_language: STRING) --Set the value of programming_language require value_exists: a_programming_language /= Void do programming_language := a_programming_language ensure programming_language_set: a_programming_language = programming_language end set_operating_system (a_operating_system: STRING) --Set the value of operating_system require value_exists: a_operating_system /= Void do operating_system := a_operating_system ensure operating_system_set: a_operating_system = operating_system end set_license (a_license: STRING) --Set the value of license require value_exists: a_license /= Void do license := a_license ensure license_set: a_license = license end set_category (a_category: STRING) --Set the value of category require value_exists: a_category /= Void do category := a_category ensure category_set: a_category = category end feature -- Output out: STRING do Result := "" Result.append (project_id.out + "%N") Result.append (short_description.out + "%N") Result.append (description.out + "%N") Result.append (programming_language.out + "%N") Result.append (operating_system.out + "%N") Result.append (license.out + "%N") Result.append (category.out + "%N") end end -- class PROJECT_INFORMATION