indexing
	description: "Class which allows EiffelStore to retrieve/store%
	      %the content relative to a column of the table USER_WORKITEM_SUBSCRIPTION"

class
	USER_WORKITEM_SUBSCRIPTION

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	user_id: INTEGER
			-- Auto-generated.

	project_id: INTEGER
			-- Auto-generated.

	type_id: INTEGER
			-- Auto-generated.

	subscription_type: INTEGER
			-- Auto-generated.

	enabled: INTEGER
			-- Auto-generated.

feature -- Initialization

	make is
		do
			user_id := 0
			project_id := 0
			type_id := 0
			subscription_type := 0
			enabled := 0
		end

feature -- Settings

	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_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_type_id (a_type_id: INTEGER) is
			--Set the value of type_id
		require
			value_exists: a_type_id > 0
		do
			type_id := a_type_id
		ensure
			type_id_set: a_type_id = type_id
		end

	set_subscription_type (a_subscription_type: INTEGER) is
			--Set the value of subscription_type
		require
			value_exists: a_subscription_type > 0
		do
			subscription_type := a_subscription_type
		ensure
			subscription_type_set: a_subscription_type = subscription_type
		end

	set_enabled (a_enabled: INTEGER) is
			--Set the value of enabled
		require
			value_exists: a_enabled >= 0
		do
			enabled := a_enabled
		ensure
			enabled_set: a_enabled = enabled
		end

feature -- Output

	out: STRING is
		do
			Result := ""
			Result.append (user_id.out + "%N")
			Result.append (project_id.out + "%N")
			Result.append (type_id.out + "%N")
			Result.append (subscription_type.out + "%N")
			Result.append (enabled.out + "%N")
		end

end -- class USER_WORKITEM_SUBSCRIPTION