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
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];
}.