Design change, now we have req' REQUEST and res' RESPONSE instead of just `ctx'

This commit is contained in:
Jocelyn Fiat
2011-07-13 16:13:25 +02:00
parent 4e2f0dbc72
commit ac97d6019b
8 changed files with 112 additions and 32 deletions

View File

@@ -23,13 +23,13 @@ feature {NONE} -- Implementation
feature {NONE} -- Implementation
callback: PROCEDURE [ANY, TUPLE [like new_request_context]]
callback: PROCEDURE [ANY, TUPLE [req: like new_request_context; res: like new_response]]
-- Procedure called on `execute'
execute (ctx: like new_request_context)
execute (req: like new_request_context; res: like new_response)
-- Execute the request
do
callback.call ([ctx])
callback.call ([req, res])
end
invariant