indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table PROJECT_REQUEST" class PROJECT_REQUEST inherit ANY redefine out end create make feature -- Access request_id: INTEGER -- Auto-generated. user_id: INTEGER -- Auto-generated. name: STRING -- Auto-generated. description: STRING -- Auto-generated. closed_source: BOOLEAN -- Auto-generated. message: STRING -- Auto-generated. feature -- Initialization make is do request_id := 0 user_id := 0 name := "" description := "" closed_source := False message := "" end feature -- Settings set_request_id (a_request_id: INTEGER) is --Set the value of request_id require value_exists: a_request_id > 0 do request_id := a_request_id ensure request_id_set: a_request_id = request_id end set_user_id (a_user_id: INTEGER) is --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 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_closed_source (a_is_closed_source: BOOLEAN) is --Set the value of closed_source do closed_source := a_is_closed_source ensure closed_source_set: a_is_closed_source = closed_source end set_message (a_message: STRING) is --Set the value of message require value_exists: a_message /= Void do message := a_message ensure message_set: a_message = message end feature -- Output out: STRING is do Result := "" Result.append (request_id.out + "%N") Result.append (user_id.out + "%N") Result.append (name.out + "%N") Result.append (description.out + "%N") Result.append (closed_source.out + "%N") Result.append (message.out + "%N") end end -- class PROJECT_REQUEST