<> <> <> <> <> <> <<>> DIRECTORY IO USING [STREAM], IPDefs USING [Datagram], Rope USING [ROPE], TCPOps USING [ConnectionState, TCPHandle]; TCPLogging: CEDAR DEFINITIONS ~ BEGIN Direction: TYPE ~ {fromNet, toNet, rexmitToNet}; pktFile, logFile: IO.STREAM; -- make non-NIL to enable logging PrintTCPPacket: PROC [handle: TCPOps.TCPHandle, data: IPDefs.Datagram, dir: Direction]; <> <> <> <> <> <> <> <> < Destination Address and Port>> PrintStateChange: PROC [handle: TCPOps.TCPHandle, newState: TCPOps.ConnectionState]; <> PrintMessage: PROC [r: Rope.ROPE]; END.