+
Point of view
All features
class CGI_COOKIE
Summary
top
Direct parents
Insert list: CGI_UTILS
Class invariant
top
Overview
top
writable attribute
{ANY}
top
writable attribute
{ANY}
top
expires: REFERENCE[TIME]
writable attribute
{ANY}
top
writable attribute
{ANY}
top
writable attribute
{ANY}
top
writable attribute
{ANY}
top
secure: BOOLEAN
writable attribute
{ANY}
top
http_only: BOOLEAN
writable attribute
{ANY}
top
set_value (a_value: ABSTRACT_STRING) assign value
effective procedure
{ANY}
top
require ensure
set_expires (a_expires: TIME) assign expires
effective procedure
{ANY}
top
require
  • a_expires.is_universal_time
  • max_age = Void
ensure
unset_expires
effective procedure
{ANY}
top
ensure
set_max_age (a_max_age: INTEGER_32) assign max_age
effective procedure
{ANY}
top
require ensure
unset_max_age
effective procedure
{ANY}
top
ensure
set_domain (a_domain: ABSTRACT_STRING) assign domain
effective procedure
{ANY}
top
require ensure
set_path (a_path: ABSTRACT_STRING) assign path
effective procedure
{ANY}
top
require ensure
set_secure (enable: BOOLEAN) assign secure
effective procedure
{ANY}
top
ensure
set_http_only (enable: BOOLEAN) assign http_only
effective procedure
{ANY}
top
ensure
is_valid_value (a_value: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
require
  • a_value /= Void
effective function
{ANY}
top
is_valid_domain (a_domain: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
require
  • a_domain /= Void
is_changed: BOOLEAN
writable attribute
{CGI_COOKIE_JAR}
top
flush (a_output: OUTPUT_STREAM)
effective procedure
{CGI_COOKIE_JAR}
top
require
set_initial_value (a_value: ABSTRACT_STRING) assign value
effective procedure
{CGI_COOKIE_JAR}
top
require ensure
format_rfc1123_date (a_date: TIME): STRING
effective function
{}
top
once function
{}
top
ensure
  • Result.count = 7
  • Result.lower = 0
once function
{}
top
ensure
  • Result.count = 12
  • Result.lower = 0
int_format (size: INTEGER_32, val: INTEGER_32): STRING
effective function
{}
top
make (a_name: ABSTRACT_STRING)
effective procedure
{}
top
require ensure
  • name = a_name.intern
expires_memory: REFERENCE[TIME]
writable attribute
{}
top
max_age_memory: REFERENCE[INTEGER_32]
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