GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CGI_IO
+
Point of view
All features
ANY
All features
expanded class CGI_IO
Summary
top
CGI
input/output (in fact, currently only output)
Direct parents
Insert list:
ANY
Known children
Insert list:
CGI
Overview
top
Features
{
ANY
}
output
:
OUTPUT_STREAM
set_output
(a_output:
OUTPUT_STREAM
) assign
output
{}
output_memory
:
REFERENCE
[
OUTPUT_STREAM
]
output
:
OUTPUT_STREAM
effective function
{
ANY
}
top
set_output
(a_output:
OUTPUT_STREAM
) assign
output
effective procedure
{
ANY
}
top
require
a_output /= Void
ensure
output
= a_output
output_memory
:
REFERENCE
[
OUTPUT_STREAM
]
once function
{}
top