+
Point of view
All features
expanded class CGI_IO
Summary
CGI input/output (in fact, currently only output)
Direct parents
Insert list: ANY
Known children
Insert list: CGI
Overview
output: OUTPUT_STREAM
effective function
{ANY}
set_output (a_output: OUTPUT_STREAM) assign output
effective procedure
{ANY}
require
  • a_output /= Void
ensure
output_memory: REFERENCE[OUTPUT_STREAM]
once function
{}