request_dispatcher Contracts

Automatic generation produced by ISE Eiffel
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
indexing
    description: "System's entry class derived from CGI_INTERFACE, takes care of requests and sends back responses"
    author: "Peizhu Li <lip@student.ethz.ch>"
    date: "12.12.2007"
    revision: "0.2"

deferred class interface
    REQUEST_DISPATCHER

feature -- Attributes

    cookie_enabled: BOOLEAN
            -- whether cookie is enabled by browser

    session_enabled: BOOLEAN
            -- whether session support should be enabled

    session: SESSION
            -- actual session object

    config: CONFIG_READER
            -- website configuration (handler, default stylesheet, actual session class)

    handler_id_string: STRING_8
            -- string identifies which handler should be instantiated for actual request

    command_string: STRING_8
            -- command string that handler need to process
    
feature -- creation

    make
            -- Initiate input data parsing and process information.
    
feature -- dispatching

    execute
            -- process actual request, send back result html page to the browser.
    
invariant
    invariant_clause: True

end -- class REQUEST_DISPATCHERClasses Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
-- Generated by ISE Eiffel --
For more details: www.eiffel.com