Automatic generation produced by ISE Eiffel
indexing
description: "The abstract class used to handle a specific group of user requests"
author: "Peizhu Li, <lip@student.ethz.ch>"
date: "12.12.2007"
revision: "$0.6$"
deferred class interface
REQUEST_HANDLER
feature -- attributes
context: REQUEST_DISPATCHER
-- all http environment variables
session: SESSION
-- reference to actual session object
return_page: VIEW
-- result html page
processing_finished: BOOLEAN
-- whether processing should be stopped (prematured)
feature --creation
make
-- creation
initialize (dispatcher: REQUEST_DISPATCHER)
-- initialize with parameters from dispatcher object
feature -- form helper
fill_form_with_submitted_values
-- trying to check all fields in request url and replace corresponding tags with their values if any
-- valid only when return_page is an HTML_TEMPLATE_VIEW instance
feature -- main entry
process_request: HTML_PAGE
--
ensure
result_page_generated: Result /= Void
end -- class REQUEST_HANDLER
-- Generated by ISE Eiffel --
For more details: www.eiffel.com