INTERFACEThe typeTCPWin32 ; IMPORT TCP, ConnFD, WinSock; REVEAL TCP.T <: Public; TYPE Public = ConnFD.T OBJECT sock : WinSock.SOCKET; closed: BOOLEAN := FALSE; END;
Public
reveals enough structure of the Win32 implementation
of TCP.T
to allow a client to perform operations directly upon the
Win32 socket in sock
. If closed
is TRUE
, then sock
is no
longer valid. Any operations on fd
must be performed with the
object's mutex locked and the caller should assert that closed
is
FALSE
.
END TCPWin32.