GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CGI_COOKIE_JAR
+
Point of view
All features
ANY
CGI_RESPONSE_FIELDS
All features
expanded class CGI_COOKIE_JAR
Summary
top
Access to the
CGI
cookies. This class is expanded; cookies are application-wide.
Direct parents
Insert list:
CGI_UTILS
Overview
top
Features
{
ANY
}
cookie
(name:
ABSTRACT_STRING
):
CGI_COOKIE
for_each
(action:
PROCEDURE
[
TUPLE 1
[
CGI_COOKIE
]])
{
CGI_RESPONSE_FIELDS
}
is_field_reserved
(a_field:
ABSTRACT_STRING
):
BOOLEAN
flush
(a_output:
OUTPUT_STREAM
)
{}
default_create
Default creation method.
init
parse_cookie
(http_cookie:
STRING
, start:
INTEGER_32
):
INTEGER_32
jar
:
LINKED_HASHED_DICTIONARY
[
CGI_COOKIE
,
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
cookie
(name:
ABSTRACT_STRING
):
CGI_COOKIE
effective function
{
ANY
}
top
require
is_token
(name)
ensure
Result /= Void
for_each
(action:
PROCEDURE
[
TUPLE 1
[
CGI_COOKIE
]])
effective procedure
{
ANY
}
top
is_field_reserved
(a_field:
ABSTRACT_STRING
):
BOOLEAN
effective function
{
CGI_RESPONSE_FIELDS
}
top
require
a_field /= Void
flush
(a_output:
OUTPUT_STREAM
)
effective procedure
{
CGI_RESPONSE_FIELDS
}
top
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
init
once procedure
{}
top
parse_cookie
(http_cookie:
STRING
, start:
INTEGER_32
):
INTEGER_32
effective function
{}
top
jar
:
LINKED_HASHED_DICTIONARY
[
CGI_COOKIE
,
FIXED_STRING
]
once function
{}
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
crlf
:
FIXED_STRING
effective function
{
ANY
}
top
CRLF, the standard Web end-of-line
is_separator
(char:
CHARACTER
):
BOOLEAN
effective function
{}
top