Eiffeldoc: CGI_RESPONSE_CLIENT

CGI response implementation: client redirect

Direct parents: Inherit list: CGI_RESPONSE; Insert list: CGI_RESPONSE_FIELDS, CGI_UTILS
Known children: Inherit list: CGI_RESPONSE_CLIENT_REDIRECT_WITH_DOCUMENT

Class invariant

is_valid_path(path)

Overview

Creation features

{ANY}

set_redirect (a_path: ABSTRACT_STRING, a_fragment: ABSTRACT_STRING)

Features

path: FIXED_STRING
fragment: FIXED_STRING
set_redirect (a_path: ABSTRACT_STRING, a_fragment: ABSTRACT_STRING)

{CGI}

flush (a_cgi: CGI, a_output: OUTPUT_STREAM): BOOLEAN

{ANY}

out_in_tagged_out_memory

Append terse printable representation of current object in tagged_out_memory.

fields: MAP[TRAVERSABLE[FIXED_STRING], FIXED_STRING]

is_valid_field (a_field: ABSTRACT_STRING): BOOLEAN
reset_field (a_field: ABSTRACT_STRING)
set_field (a_field: ABSTRACT_STRING, a_value: ABSTRACT_STRING)

{}

flush_fields (a_output: OUTPUT_STREAM)

{}

field_pattern: REGULAR_EXPRESSION

^[A-Za-z0-9]+(-[A-Za-z0-9]+)*$
value_count (a_field: ABSTRACT_STRING): INTEGER_32
put_value (a_values: TRAVERSABLE[FIXED_STRING], a_output: OUTPUT_STREAM)
jar: CGI_COOKIE_JAR

{}

fields_memory: LINKED_HASHED_DICTIONARY[TRAVERSABLE[FIXED_STRING], FIXED_STRING]

checks

{ANY}

is_token (value: ABSTRACT_STRING): BOOLEAN
is_separators (value: ABSTRACT_STRING): BOOLEAN
is_valid_path (a_path: ABSTRACT_STRING): BOOLEAN

constants

{ANY}

crlf: FIXED_STRING

CRLF, the standard Web end-of-line

{}

is_separator (char: CHARACTER): BOOLEAN

path: FIXED_STRING

writable attribute

fragment: FIXED_STRING

writable attribute

set_redirect (a_path: ABSTRACT_STRING, a_fragment: ABSTRACT_STRING)

effective procedure

flush (a_cgi: CGI, a_output: OUTPUT_STREAM): BOOLEAN

effective function

{CGI}

out_in_tagged_out_memory

effective procedure

{ANY}

Append terse printable representation of current object in tagged_out_memory.

fields: MAP[TRAVERSABLE[FIXED_STRING], FIXED_STRING]

effective function

is_valid_field (a_field: ABSTRACT_STRING): BOOLEAN

effective function

reset_field (a_field: ABSTRACT_STRING)

effective procedure

set_field (a_field: ABSTRACT_STRING, a_value: ABSTRACT_STRING)

effective procedure

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

{}

put_value (a_values: TRAVERSABLE[FIXED_STRING], a_output: OUTPUT_STREAM)

effective procedure

{}

jar: CGI_COOKIE_JAR

writable attribute

{}

fields_memory: LINKED_HASHED_DICTIONARY[TRAVERSABLE[FIXED_STRING], FIXED_STRING]

writable attribute

{}

is_token (value: ABSTRACT_STRING): BOOLEAN

effective function

{ANY}

is_separators (value: ABSTRACT_STRING): BOOLEAN

effective function

{ANY}

is_valid_path (a_path: ABSTRACT_STRING): BOOLEAN

effective function

{ANY}

crlf: FIXED_STRING

effective function

{ANY}

CRLF, the standard Web end-of-line

is_separator (char: CHARACTER): BOOLEAN

effective function

{}