HandCodingUtil.mesa
Copyright © 1984, 1986 by Xerox Corporation. All rights reserved.
Russ Atkinson (RRA) September 10, 1986 11:07:40 pm PDT
DIRECTORY
DragOpsCross USING [Inst, ProcessorRegister, Word],
IO USING [STREAM],
Rope USING [ROPE];
HandCodingUtil:
CEDAR
DEFINITIONS =
BEGIN
Inst: TYPE = DragOpsCross.Inst;
ProcessorRegister: TYPE = DragOpsCross.ProcessorRegister;
ROPE: TYPE = Rope.ROPE;
STREAM: TYPE = IO.STREAM;
Word: TYPE = DragOpsCross.Word;
NameArray: TYPE = REF NameArrayRep;
NameArrayRep: TYPE = ARRAY Inst OF ROPE;
RegNameArray: TYPE = REF RegNameArrayRep;
RegNameArrayRep: TYPE = ARRAY ProcessorRegister OF ROPE;
ToStream: PROC [stream: STREAM, inst: Inst, rest: Word, pc: Word];
GetInstArray:
PROC
RETURNS [array: NameArray];
GetRegArray:
PROC
RETURNS [array: RegNameArray];
END.