deferred class TCP_PROTOCOL
Summary
Class invariant
Overview
error: STRING
writable attribute
connect_to (url: URL)
effective procedure
standard_port: INTEGER_32
deferred function
name: STRING
deferred function
is_connected: BOOLEAN
deferred function
disconnect
deferred procedure
input: INPUT_STREAM
deferred function
output: OUTPUT_STREAM
deferred function