indexing
description: "A client for a socket."
status: "See notice at end of class"
date: "$Date$"
revision: "$Revision$"
deferred class interface
CLIENT
feature
cleanup
in_out: SOCKET
receive
received: ANY
in
send (msg: ANY)
msg
feature
address_in_use: BOOLEAN
SOCKET_RESOURCES
address_not_readable: BOOLEAN
SOCKET_RESOURCES
already_bound: BOOLEAN
SOCKET_RESOURCES
bad_socket_handle: BOOLEAN
SOCKET_RESOURCES
connect_in_progress: BOOLEAN
SOCKET_RESOURCES
connection_refused: BOOLEAN
SOCKET_RESOURCES
dtable_full: BOOLEAN
SOCKET_RESOURCES
error: STRING
SOCKET_RESOURCES
error_number: INTEGER
SOCKET_RESOURCES
expired_socket: BOOLEAN
SOCKET_RESOURCES
invalid_address: BOOLEAN
SOCKET_RESOURCES
invalid_socket_handle: BOOLEAN
SOCKET_RESOURCES
network: BOOLEAN
SOCKET_RESOURCES
no_buffers: BOOLEAN
SOCKET_RESOURCES
no_permission: BOOLEAN
SOCKET_RESOURCES
not_connected: BOOLEAN
SOCKET_RESOURCES
protected_address: BOOLEAN
SOCKET_RESOURCES
protocol_not_supported: BOOLEAN
SOCKET_RESOURCES
socket_family_not_supported: BOOLEAN
SOCKET_RESOURCES
socket_in_use: BOOLEAN
SOCKET_RESOURCES
socket_ok: BOOLEAN
SOCKET_RESOURCES
socket_would_block: BOOLEAN
SOCKET_RESOURCES
zero_option: BOOLEAN
SOCKET_RESOURCES
feature
c_msgdontroute: INTEGER
SOCKET_RESOURCES
c_oobmsg: INTEGER
SOCKET_RESOURCES
c_peekmsg: INTEGER
SOCKET_RESOURCES
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- CLIENT