+
Point of view
All features
class CGI_RESPONSE_DOCUMENT
Summary
top
CGI response implementation: CGI-document (the most used)
Direct parents
Inherit list: CGI_RESPONSE
Insert list: CGI_RESPONSE_BODY, CGI_RESPONSE_FIELDS
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{CGI_HANDLER}
{CGI, CGI_HANDLER}
{CGI}
{ANY}
{}
{CGI_HANDLER}
{CGI, CGI_HANDLER}
{}
{}
{}
checks
{ANY}
constants
{ANY}
{}
{CGI_HANDLER}
{}
{}
status: INTEGER_32
writable attribute
{CGI_HANDLER}
top
error: FIXED_STRING
effective function
{CGI_HANDLER}
top
set_error (a_error: ABSTRACT_STRING)
effective procedure
{CGI, CGI_HANDLER}
top
require
  • a_error /= Void
set_status_and_error (a_status: INTEGER_32, a_error: ABSTRACT_STRING)
effective procedure
{CGI, CGI_HANDLER}
top
require
set_content_type (a_content_type: ABSTRACT_STRING)
effective procedure
{CGI, CGI_HANDLER}
top
require
  • a_content_type /= Void
set_status (a_status: INTEGER_32)
effective procedure
{CGI, CGI_HANDLER}
top
require ensure
is_valid_status (a_status: INTEGER_32): BOOLEAN
effective function
{CGI, CGI_HANDLER}
top
status_reason: FIXED_STRING
effective function
{CGI, CGI_HANDLER}
top
flush (a_cgi: CGI, a_output: OUTPUT_STREAM): BOOLEAN
effective function
{CGI}
top
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
error_memory: STRING
writable attribute
{}
top
once function
{}
top
effective function
{CGI_HANDLER}
top
is_valid_field (a_field: ABSTRACT_STRING): BOOLEAN
effective function
{CGI, CGI_HANDLER}
top
reset_field (a_field: ABSTRACT_STRING)
effective procedure
{CGI, CGI_HANDLER}
top
require
set_field (a_field: ABSTRACT_STRING, a_value: ABSTRACT_STRING)
effective procedure
{CGI, CGI_HANDLER}
top
require ensure
flush_fields (a_output: OUTPUT_STREAM)
effective procedure
{}
top
field_pattern: REGULAR_EXPRESSION
once function
{}
top
^[A-Za-z0-9]+(-[A-Za-z0-9]+)*$
value_count (a_field: ABSTRACT_STRING): INTEGER_32
effective function
{}
top
require
put_value (a_values: TRAVERSABLE[FIXED_STRING], a_output: OUTPUT_STREAM)
effective procedure
{}
top
writable attribute
{}
top
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
content_type: FIXED_STRING
writable attribute
{CGI_HANDLER}
top
effective function
{CGI_HANDLER}
top
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