SenderPrivate:
TYPE ~
MONITORED
RECORD [
et1: EventTime,
xlateKC: KeyCodeTranslation,
sourceData: REF ANY,
hostDescr: ROPE, --for presentation to users in messages
GetAction: GetActionProc,
consumer, pushStream: IO.STREAM,
Finish: PROC [sender: Sender, sourceData: REF ANY, consumer, pushStream: IO.STREAM],
Push: PROC [IO.STREAM],
Other: PROC [Sender],
pusher, sender: PROCESS,
going: BOOL ¬ TRUE
];