+
Point of view
All features
class WEB_CONTEXT
Summary
Direct parents
Insert list: LOGGING
Class invariant
Overview
should_disconnect: BOOLEAN
writable attribute
{ANY}
http_method: STRING
writable attribute
{ANY}
http_path: STRING
writable attribute
{ANY}
http_path_arguments: STRING
writable attribute
{ANY}
http_version: STRING
writable attribute
{ANY}
head: BOOLEAN
writable attribute
{ANY}
body: STRING
writable attribute
{ANY}
request_header (key: ABSTRACT_STRING): STRING
effective function
{ANY}
require
  • key /= Void
set_head (a_head: BOOLEAN)
effective procedure
{ANY}
ensure
argument (key: ABSTRACT_STRING): STRING
effective function
{ANY}
require
  • key /= Void
status: INTEGER_32
writable attribute
{ANY}
status_reason: STRING
effective function
{ANY}
is_known_status (a_status: INTEGER_32): BOOLEAN
effective function
{ANY}
set_reply_header (key: ABSTRACT_STRING, value: ABSTRACT_STRING)
effective procedure
{ANY}
require
set_status (a_status: INTEGER_32)
effective procedure
{ANY}
require ensure
reply_stream: OUTPUT_STREAM
writable attribute
{ANY}
disconnect
effective procedure
flush
effective procedure
require
check_connection: BOOLEAN
effective function
{}
decode_http_request: BOOLEAN
effective function
{}
decode_request_headers
effective procedure
{}
decode_body
effective procedure
{}
decode_arguments
effective procedure
{}
require ensure
decode_arguments_for (a_string: STRING)
effective procedure
{}
require
decode_url_argument (a_string: STRING, a_start_index: INTEGER_32, a_end_index: INTEGER_32): STRING
effective function
{}
require
  • a_string.valid_index(a_start_index)
  • a_string.valid_index(a_end_index)
  • a_start_index < a_end_index
url_encoded_character (a_character: CHARACTER): INTEGER_32
effective function
{}
make (a_stream: SOCKET_INPUT_OUTPUT_STREAM)
effective procedure
{}
require
  • a_stream.is_connected
writable attribute
{}
writable attribute
{}
writable attribute
{}
reply_stream_: STRING_OUTPUT_STREAM
writable attribute
{}
writable attribute
{}
_inline_agent22 (v: STRING, k: FIXED_STRING)
frozen
effective procedure
{}
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.
The ugly name is intentional. Don't use directly.