+
Point of view
All features
class CGI_SERVER_INFO
Summary
SERVER_NAME, SERVER_PORT, SERVER_PROTOCOL, SERVER_SOFTWARE
Direct parents
Insert list: DISPOSABLE
Overview
Creation features
{CGI}
Features
{ANY}
{CGI}
{}
{}
  • dispose
    Action to be executed just before garbage collection reclaims an object.
writable attribute
{ANY}
port: INTEGER_32
writable attribute
{ANY}
http_protocol: FIXED_STRING
writable attribute
{ANY}
protocol: PROTOCOL
writable attribute
{ANY}
software: FIXED_STRING
writable attribute
{ANY}
is_secure: BOOLEAN
writable attribute
{ANY}
error: STRING
writable attribute
{CGI}
make (n: STRING, p: STRING, h: STRING, s: STRING, q: STRING)
effective procedure
{}
set_error (t: STRING)
effective procedure
{}
require
  • t /= Void
out_in_tagged_out_memory
effective procedure
{}
Append terse printable representation of current object in tagged_out_memory.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
dispose
effective procedure
{}
Action to be executed just before garbage collection reclaims an object.