home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
HTTP_CONNECTION
INTERNALS_HANDLER
All features
deferred class HTTP_METHOD_HANDLER
Summary
top
Direct parents
insert list:
ANY
Known children
inherit list:
HTTP_GET_HANDLER
,
HTTP_NO_METHOD_HANDLER
Class invariant
top
response_header
/= Void
response_body
/= Void
out_stream
/= Void
Overview
top
features
code
:
INTEGER_32
the HTTP answer code
method
:
STRING
the method
is_ready
:
BOOLEAN
answer
add_header
(header:
STRING
)
add_body
(body:
STRING
)
make
(a_uri:
STRING
, a_version:
STRING
, a_out:
OUTPUT_STREAM
)
out_stream
:
OUTPUT_STREAM
the stream where the HTTP answer is written
uri
:
STRING
the source URI
version
:
STRING
the version
response_header
:
FAST_ARRAY
[
STRING
]
response_body
:
STRING
default_body
set_content_length
reason
:
STRING
newline
output CRLF
prepare_answer
code
:
INTEGER_32
writable attribute
top
the HTTP answer code
method
:
STRING
deferred function
top
the method
is_ready
:
BOOLEAN
deferred function
top
answer
effective procedure
top
require
is_ready
add_header
(header:
STRING
)
deferred procedure
top
add_body
(body:
STRING
)
deferred procedure
top
make
(a_uri:
STRING
, a_version:
STRING
, a_out:
OUTPUT_STREAM
)
deferred procedure
top
ensure
out_stream
= a_out
version
.is_equal(a_version)
out_stream
:
OUTPUT_STREAM
writable attribute
top
the stream where the HTTP answer is written
uri
:
STRING
writable attribute
top
the source URI
version
:
STRING
writable attribute
top
the version
response_header
:
FAST_ARRAY
[
STRING
]
writable attribute
top
response_body
:
STRING
writable attribute
top
default_body
effective procedure
top
set_content_length
effective procedure
top
reason
:
STRING
effective function
top
newline
effective procedure
top
output CRLF
prepare_answer
deferred procedure
top
require
response_header
.is_empty
response_body
.is_empty