Updated various indexing notes.

Removed a few obsolete classes.
Cosmetics
This commit is contained in:
2015-03-31 21:33:38 +02:00
parent 9e1083eba8
commit 8246bc1444
92 changed files with 300 additions and 1066 deletions

View File

@@ -1,6 +1,5 @@
note
description: "Summary description for {WGI_EXECUTION}."
author: ""
description: "Common interface for any request execution."
date: "$Date$"
revision: "$Revision$"
@@ -13,6 +12,7 @@ deferred class
feature {NONE} -- Initialization
make (req: WGI_REQUEST; res: WGI_RESPONSE)
-- Create current execution with request `req' and response `res'.
do
request := req
response := res
@@ -21,8 +21,10 @@ feature {NONE} -- Initialization
feature {NONE} -- Access
request: WGI_REQUEST
-- Request data.
response: WGI_RESPONSE
-- Response interface.
feature -- Execution