LizardInstructionOutput.mesa
Russ Atkinson, March 21, 1984 7:16:14 pm PST
DIRECTORY
DragOpsCross,
IO,
Rope;
LizardInstructionOutput:
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.