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

Details

set_io (a_io: SOCKET_INPUT_OUTPUT_STREAM)

require

  • a_io.is_connected

ensure

    Class invariant