GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CGI_CONTENT_TYPE
+
Point of view
All features
ANY
CGI_HANDLER
CGI
All features
class CGI_CONTENT_TYPE
Summary
top
CONTENT_TYPE
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
CGI
}
make
(t:
STRING
)
Features
{
CGI_HANDLER
}
type
:
FIXED_STRING
subtype
:
FIXED_STRING
attributes
:
MAP
[
FIXED_STRING
,
FIXED_STRING
]
{
CGI
}
error
:
STRING
{}
make
(t:
STRING
)
a_media_type
(t:
STRING
)
a_parameter
(t:
STRING
, pos:
INTEGER_32
):
INTEGER_32
set_error
(t:
STRING
)
attributes_memory
:
HASHED_DICTIONARY
[
FIXED_STRING
,
FIXED_STRING
]
type
:
FIXED_STRING
writable attribute
{
CGI_HANDLER
}
top
subtype
:
FIXED_STRING
writable attribute
{
CGI_HANDLER
}
top
attributes
:
MAP
[
FIXED_STRING
,
FIXED_STRING
]
effective function
{
CGI_HANDLER
}
top
error
:
STRING
writable attribute
{
CGI
}
top
make
(t:
STRING
)
effective procedure
{}
top
require
not t.is_empty
a_media_type
(t:
STRING
)
effective procedure
{}
top
a_parameter
(t:
STRING
, pos:
INTEGER_32
):
INTEGER_32
effective function
{}
top
require
t.valid_index(pos)
t.item(pos) = ';'
error
= Void
ensure
error
= Void implies
attributes
.count = old
attributes
.count + 1 and then t.valid_index(Result) implies t.item(Result) = ';'
set_error
(t:
STRING
)
effective procedure
{}
top
require
t /= Void
attributes_memory
:
HASHED_DICTIONARY
[
FIXED_STRING
,
FIXED_STRING
]
writable attribute
{}
top