GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CGI_REQUEST_METHOD_OTHER
+
Point of view
All features
ANY
CGI
CGI_HANDLER
All features
class CGI_REQUEST_METHOD_OTHER
Summary
top
REQUEST_METHOD implementation when the method is not standard
Direct parents
Inherit list:
CGI_REQUEST_METHOD
Class invariant
top
method
/= Void
Overview
top
Creation features
{
CGI
}
make
(a_method:
FIXED_STRING
)
Features
{
CGI
}
invoke
(a_handler:
CGI_HANDLER
)
{
CGI_HANDLER
}
method
:
FIXED_STRING
{}
make
(a_method:
FIXED_STRING
)
invoke
(a_handler:
CGI_HANDLER
)
effective procedure
{
CGI
}
top
require
a_handler /= Void
method
:
FIXED_STRING
writable attribute
{
CGI_HANDLER
}
top
make
(a_method:
FIXED_STRING
)
effective procedure
{}
top
ensure
method
= a_method