note description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table RELEASE" class RELEASE inherit ANY redefine out end create make feature -- Access release_id: INTEGER -- Auto-generated. project_id: INTEGER -- Auto-generated. creation_time: INTEGER -- Auto-generated. name: STRING -- Auto-generated. description: STRING -- Auto-generated. version: STRING -- Auto-generated. feature -- Initialization make do release_id := 0 project_id := 0 creation_time := 0 name := "" description := "" version := "" end feature -- Settings set_release_id (a_release_id: INTEGER) --Set the value of release_id require value_exists: a_release_id > 0 do release_id := a_release_id ensure release_id_set: a_release_id = release_id end 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_creation_time (a_creation_time: INTEGER) --Set the value of creation_time require value_exists: a_creation_time >= 0 do creation_time := a_creation_time ensure creation_time_set: a_creation_time = creation_time end set_name (a_name: STRING) --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) --Set the value of description require value_exists: a_description /= Void do description := a_description ensure description_set: a_description = description end set_version (a_version: STRING) --Set the value of version require value_exists: a_version /= Void do version := a_version ensure version_set: a_version = version end feature -- Output out: STRING do Result := "" Result.append (release_id.out + "%N") Result.append (project_id.out + "%N") Result.append (creation_time.out + "%N") Result.append (name.out + "%N") Result.append (description.out + "%N") Result.append (version.out + "%N") end end -- class RELEASE