deferred class CONNECTION
Features exported to
SERVER
Handle one connection to the
SERVER
.
Direct parents
conformant parents
JOB
Known children
conformant children
HTTP_CONNECTION
Summary
exported features
set_io
(a_io:
SOCKET_INPUT_OUTPUT_STREAM
)
Details
set_io
(a_io:
SOCKET_INPUT_OUTPUT_STREAM
)
require
a_io.is_connected
ensure
Class invariant