note
	description: "Summary description for {CANCELLATION_REQUEST}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	CANCELLATION_REQUEST

create
	make,
	empty

feature
	make
	do

	end

	empty
	do
		
	end
	cancellation_requested: BOOLEAN

	request_cancellation
	do
		cancellation_requested := TRUE
	end
end
