ResponseChecker.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Last Edited by: Gasbarro April 2, 1987 11:40:20 am PST
DIRECTORY
BitOps, Core, DynaBusInterface;
ResponseChecker: CEDAR DEFINITIONS
= BEGIN
Quad: TYPE = BitOps.BitQWord;
Cmd: TYPE = DynaBusInterface.Cmd;
Create: PROC RETURNS [ct: Core.CellType];
ExpectReply: PROC [rcState: REF ANY, header: Quad, data: ARRAY[0..4) OF Quad, doubleError: ARRAY [0..4) OF BOOL ← ALL[FALSE]];
IsEmpty: PROC [rcState: REF ANY] RETURNS [BOOL];
END.