indexing
	description: "a handler to test the basic REQUEST_DISPATCHER/REQUEST_HANDLER functionality"
	author: "Peizhu Li, <lip@student.ethz.ch>"
	date: "$21.12.2007$"
	revision: "0.5"

class
	TEST_HANDLER

inherit
	REQUEST_HANDLER
	redefine
		make, initialize
	end

create
	make

feature  -- Attribute

feature -- Creation

	make is
		-- creation
	do
		PRECURSOR
	end

	initialize(env: REQUEST_DISPATCHER) is
		--
	do
		PRECURSOR(env)
	end

feature -- Access

feature -- processing request

	handling_request is
			-- processing request
		require else
			context /= void
		do
			 create return_page.make

			-- set actual style sheet based on given parameter, or take default
			return_page.add_html_code("<h1>" + "Page generated" + "</h1>" + "A web page is successfully generated by TEST_HANDLER")
		end


	pre_processing is
			-- common tasks to be executed before starting process user request
		do
		end

	post_processing is
			-- common tasks to be executed after request processed
		do
		end



invariant
	invariant_clause: True -- Your invariant here

end