% $Id: ReliableTransport.html,v 1.1 2003/10/01 07:22:16 connolly Exp $
ReliableTransport: trait
introduces
conn: Message → Connection
% conn(m) is the connection that m was sent on
idx: Message → Int
% idx(m) is the transaction index of m in the
% sequence of request/reply transactions
callee: Connection → Channel
% callee(conn) is the endpoint that accepted
% the connetion conn
callerBytes: Connection → ByteSequence
calleeBytes: Connection → ByteSequence
[Index]
HTML generated using lsl2html.