+
Point of view
All features
class CGI_REMOTE_INFO
Summary
top
REMOTE_ADDR, REMOTE_HOST, REMOTE_IDENT, REMOTE_USER
Direct parents
Insert list: ANY
Overview
top
Creation features
{CGI}
Features
{ANY}
{CGI}
{}
writable attribute
{ANY}
top
writable attribute
{ANY}
top
ident: FIXED_STRING
writable attribute
{ANY}
top
writable attribute
{ANY}
top
error: STRING
writable attribute
{CGI}
top
make (a: STRING, h: STRING, i: STRING, u: STRING)
effective procedure
{}
top
set_error (t: STRING)
effective procedure
{}
top
require
  • t /= Void
out_in_tagged_out_memory
effective procedure
{}
top
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))