deferred class PROTOCOL
Summary
Class invariant
Overview
name: STRING
deferred function
is_connected: BOOLEAN
deferred function
error: STRING
deferred function
connect_to (url: URL)
deferred procedure
disconnect
deferred procedure
input: INPUT_STREAM
deferred function
output: OUTPUT_STREAM
deferred function