+
Point of view
All features
deferred class CGI_RESPONSE_BODY
Summary
top
CGI response partial implementation: document body
Direct parents
Insert list: CGI_UTILS
Known children
Insert list: CGI_RESPONSE_CLIENT_REDIRECT_WITH_DOCUMENT, CGI_RESPONSE_DOCUMENT
Class invariant
top
Overview
top
content_type: FIXED_STRING
writable attribute
{CGI_HANDLER}
top
effective function
{CGI_HANDLER}
top
set_content_type (a_content_type: ABSTRACT_STRING)
effective procedure
{CGI, CGI_HANDLER}
top
require
  • a_content_type /= Void
flush_content_type (a_output: OUTPUT_STREAM)
effective procedure
{}
top
flush_body (a_output: OUTPUT_STREAM)
effective procedure
{}
top
body_stream: STRING_OUTPUT_STREAM
writable attribute
{}
top
body_string: STRING
writable attribute
{}
top
is_token (value: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
require
  • value /= Void
is_separators (value: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
require
  • value /= Void
is_valid_path (a_path: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
effective function
{ANY}
top
CRLF, the standard Web end-of-line
is_separator (char: CHARACTER): BOOLEAN
effective function
{}
top