GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CGI_COOKIE
+
Point of view
All features
ANY
CGI_COOKIE_JAR
All features
class CGI_COOKIE
Summary
top
Direct parents
Insert list:
CGI_UTILS
Class invariant
top
is_token
(
name
)
value
/= Void implies
is_valid_value
(
value
)
path
/= Void implies
is_valid_cookie_path
(
path
)
domain
/= Void implies
is_valid_domain
(
domain
)
expires
/= Void implies
expires
.item.is_universal_time
expires
/= Void implies
max_age
= Void
max_age
/= Void implies
max_age
.item >= 0
max_age
/= Void implies
expires
= Void
Overview
top
Creation features
{
ANY
}
make
(a_name:
ABSTRACT_STRING
)
Features
{
ANY
}
name
:
FIXED_STRING
value
:
ABSTRACT_STRING
expires
:
REFERENCE
[
TIME
]
max_age
:
REFERENCE
[
INTEGER_32
]
domain
:
ABSTRACT_STRING
path
:
ABSTRACT_STRING
secure
:
BOOLEAN
http_only
:
BOOLEAN
set_value
(a_value:
ABSTRACT_STRING
) assign
value
set_expires
(a_expires:
TIME
) assign
expires
unset_expires
set_max_age
(a_max_age:
INTEGER_32
) assign
max_age
unset_max_age
set_domain
(a_domain:
ABSTRACT_STRING
) assign
domain
set_path
(a_path:
ABSTRACT_STRING
) assign
path
set_secure
(enable:
BOOLEAN
) assign
secure
set_http_only
(enable:
BOOLEAN
) assign
http_only
is_valid_value
(a_value:
ABSTRACT_STRING
):
BOOLEAN
is_valid_cookie_path
(a_path:
ABSTRACT_STRING
):
BOOLEAN
is_valid_domain
(a_domain:
ABSTRACT_STRING
):
BOOLEAN
{
CGI_COOKIE_JAR
}
is_changed
:
BOOLEAN
flush
(a_output:
OUTPUT_STREAM
)
set_initial_value
(a_value:
ABSTRACT_STRING
) assign
value
{}
format_rfc1123_date
(a_date:
TIME
):
STRING
wkday
:
FAST_ARRAY
[
STRING
]
month
:
FAST_ARRAY
[
STRING
]
int_format
(size:
INTEGER_32
, val:
INTEGER_32
):
STRING
{}
make
(a_name:
ABSTRACT_STRING
)
expires_memory
:
REFERENCE
[
TIME
]
max_age_memory
:
REFERENCE
[
INTEGER_32
]
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
name
:
FIXED_STRING
writable attribute
{
ANY
}
top
value
:
ABSTRACT_STRING
writable attribute
{
ANY
}
top
expires
:
REFERENCE
[
TIME
]
writable attribute
{
ANY
}
top
max_age
:
REFERENCE
[
INTEGER_32
]
writable attribute
{
ANY
}
top
domain
:
ABSTRACT_STRING
writable attribute
{
ANY
}
top
path
:
ABSTRACT_STRING
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
a_value /= Void implies
is_valid_value
(a_value)
ensure
value
= a_value
is_changed
set_expires
(a_expires:
TIME
) assign
expires
effective procedure
{
ANY
}
top
require
a_expires.is_universal_time
max_age
= Void
ensure
expires
.item.is_equal(a_expires)
is_changed
unset_expires
effective procedure
{
ANY
}
top
ensure
expires
= Void
is_changed
set_max_age
(a_max_age:
INTEGER_32
) assign
max_age
effective procedure
{
ANY
}
top
require
expires
= Void
a_max_age >= 0
ensure
max_age
.item = a_max_age
is_changed
unset_max_age
effective procedure
{
ANY
}
top
ensure
max_age
= Void
is_changed
set_domain
(a_domain:
ABSTRACT_STRING
) assign
domain
effective procedure
{
ANY
}
top
require
a_domain /= Void implies
is_valid_domain
(a_domain)
ensure
domain
= a_domain
is_changed
set_path
(a_path:
ABSTRACT_STRING
) assign
path
effective procedure
{
ANY
}
top
require
a_path /= Void implies
is_valid_cookie_path
(a_path)
ensure
path
= a_path
is_changed
set_secure
(enable:
BOOLEAN
) assign
secure
effective procedure
{
ANY
}
top
ensure
secure
= enable
is_changed
set_http_only
(enable:
BOOLEAN
) assign
http_only
effective procedure
{
ANY
}
top
ensure
http_only
= enable
is_changed
is_valid_value
(a_value:
ABSTRACT_STRING
):
BOOLEAN
effective function
{
ANY
}
top
require
a_value /= Void
is_valid_cookie_path
(a_path:
ABSTRACT_STRING
):
BOOLEAN
effective function
{
ANY
}
top
require
a_path /= Void
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
is_changed
set_initial_value
(a_value:
ABSTRACT_STRING
) assign
value
effective procedure
{
CGI_COOKIE_JAR
}
top
require
a_value /= Void
is_valid_value
(a_value)
not
is_changed
ensure
value
= a_value
not
is_changed
format_rfc1123_date
(a_date:
TIME
):
STRING
effective function
{}
top
wkday
:
FAST_ARRAY
[
STRING
]
once function
{}
top
ensure
Result.count = 7
Result.lower = 0
month
:
FAST_ARRAY
[
STRING
]
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
a_name /= Void
is_token
(a_name)
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
crlf
:
FIXED_STRING
effective function
{
ANY
}
top
CRLF, the standard Web end-of-line
is_separator
(char:
CHARACTER
):
BOOLEAN
effective function
{}
top