<> <> <> <> <> DIRECTORY IPDefs USING [Datagram], TCP USING [Reason, TCPInfo], TCPOps USING [TCPHandle]; TCPStates: CEDAR DEFINITIONS ~ BEGIN Open: PROC [tcpInfo: TCP.TCPInfo] RETURNS [handle: TCPOps.TCPHandle]; <> Close: PROC [handle: TCPOps.TCPHandle]; <> Abort: PROC [handle: TCPOps.TCPHandle]; <> CloseConnection: PROC [handle: TCPOps.TCPHandle, reason: TCP.Reason]; <> ValidHandle: PROC [handle: TCPOps.TCPHandle]; <> FindHandle: PROC [rcvdDatagram: IPDefs.Datagram] RETURNS [handle: TCPOps.TCPHandle]; <> CopyHandleList: PROC RETURNS [handleListCopy: LIST OF REF ANY]; <> GetInitialSequenceNumber: PROC RETURNS [INT]; <> END.