<> <> <> <> <<>> <> DIRECTORY XNSBuf USING [Buffer], XNSSocket USING [Handle]; XNSSocketBackdoor: CEDAR DEFINITIONS ~ { Buffer: TYPE = XNSBuf.Buffer; Handle: TYPE = XNSSocket.Handle; <> PutCached: PROC [handle: Handle, b: Buffer]; FlushCache: PROC [handle: Handle]; <> <> <<>> <> ReceiveProc: TYPE ~ PROC [handle: Handle, b: Buffer, clientData: REF ANY] RETURNS [Buffer]; SetDirectReceive: PROC [handle: Handle, receiveProc: ReceiveProc, clientData: REF ANY]; <> <<>> NormalReceive: ReceiveProc; <> <<>> <> <<>> }.