
DIRECTORY IO, RemoteEventTime, UserInput, UserInputGetActions;

TerminalSpy: CEDAR DEFINITIONS = {

EventTime: TYPE ~ RemoteEventTime.EventTime;
endOfTime: EventTime ~ [INT.LAST, CARD16.LAST];

SpyOnStream: PROC [to, producer: IO.STREAM, allTime, allMouse: BOOL ¬ FALSE];

SpyOnCreek: PROC [to: IO.STREAM, increek: UserInput.Handle, stopTime: EventTime ¬ endOfTime, allTime, allMouse: BOOL ¬ FALSE];

PrintEventTime: PROC [to: IO.STREAM, et: EventTime, inclDay: BOOL ¬ TRUE];

PrintAction: PROC [to: IO.STREAM, ab: UserInputGetActions.InputActionBody];

}.
   Ê  
TerminalSpy.mesa
Copyright Ó 1990, 1992 by Xerox Corporation.  All rights reserved.
Mike Spreitzer January 7, 1987 11:19:42 am PST
Last tweaked by Mike Spreitzer on October 15, 1990 4:06 pm GMT
 Ê*  •NewlineDelimiter
–(cedarcode) style™ codešœ™Kšœ
Ïeœ7™BK™.K™>—K˜ KšÏk	œžœ2˜>K˜ šÏnœžœžœ˜"K˜ Kšœžœ˜,Kš	œžœžœžœžœ˜/K˜ KšŸœžœžœžœžœžœ˜MK˜ KšŸ
œžœžœžœQžœžœ˜~K˜ KšŸœžœžœžœžœžœ˜JK˜ KšŸœžœžœžœ+˜KK˜ K˜—— …—    .  "  