deferred class TCP_PROTOCOL
Summary
Class invariant
Overview
error: STRING
writable attribute
name: STRING
deferred function
is_connected: BOOLEAN
deferred function