class HTTP_GET_HANDLER
Features exported to
HTTP_CONNECTION
Direct parents
conformant parents
HTTP_METHOD_HANDLER
Summary
creation features
make
(a_uri:
STRING
, a_version:
STRING
, a_out:
OUTPUT_STREAM
)
exported features
is_ready
:
BOOLEAN
add_header
(header:
STRING
)
add_body
(body:
STRING
)
answer
Details
make
(a_uri:
STRING
, a_version:
STRING
, a_out:
OUTPUT_STREAM
)
is_ready
:
BOOLEAN
add_header
(header:
STRING
)
add_body
(body:
STRING
)
answer
require
is_ready
Class invariant