+
Point of view
All features
deferred class CGI_RESPONSE_FIELDS
Summary
CGI response partial implementation: extra fields
Direct parents
Insert list: CGI_UTILS
Known children
Insert list: CGI_RESPONSE_CLIENT_REDIRECT, CGI_RESPONSE_DOCUMENT
Overview
effective function
is_valid_field (a_field: ABSTRACT_STRING): BOOLEAN
effective function
reset_field (a_field: ABSTRACT_STRING)
effective procedure
require
set_field (a_field: ABSTRACT_STRING, a_value: ABSTRACT_STRING)
effective procedure
require ensure
flush_fields (a_output: OUTPUT_STREAM)
effective procedure
{}
field_pattern: REGULAR_EXPRESSION
once function
{}
^[A-Za-z0-9]+(-[A-Za-z0-9]+)*$
value_count (a_field: ABSTRACT_STRING): INTEGER_32
effective function
{}
require
put_value (a_values: TRAVERSABLE[FIXED_STRING], a_output: OUTPUT_STREAM)
effective procedure
{}
writable attribute
{}
writable attribute
{}
is_token (value: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
require
  • value /= Void
is_separators (value: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
require
  • value /= Void
is_valid_path (a_path: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
effective function
{ANY}
CRLF, the standard Web end-of-line
is_separator (char: CHARACTER): BOOLEAN
effective function
{}