MonitorSCPmCode.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Created: October 12, 1987 5:08:14 pm PDT
Pradeep Sindhu October 14, 1987 5:14:03 pm PDT
Defs for mcode monitoring.
DIRECTORY
Core, IMatrix, Ports, Rope;
MonitorSCPmCode: CEDAR DEFINITIONS
~ BEGIN
Standard Type Defs
CellType : TYPE = Core.CellType;
Level: TYPE = Ports.Level;
LevelSequence: TYPE = Ports.LevelSequence;
LevelSequenceRec: TYPE = Ports.LevelSequenceRec;
ROPE: TYPE = Core.ROPE;
Wire: TYPE = Core.Wire;
Type Defs
Handle: TYPE = REF HandleRec;
HandleRec:
TYPE =
RECORD [
im: IMatrix.IM ← NIL,
imSeq: IMatrix.IMSeq ← NIL,
labelTable: SEQUENCE size: NAT OF ROPE
];
Basic Procs
LabelToPC: PROC [h: Handle, label: ROPE] RETURNS [INT];
PCToLabel: PROC [h: Handle, pc: NAT] RETURNS [ROPE];
ParseMCode: PROC [fileName: ROPE, wDir: ROPE] RETURNS [h: Handle];
RecordPC: PROC [h: Handle, pc: NAT];
PrintUnVisitedPaths: PROC [h: Handle, maxLength: NAT];
PCMonitor: PROC [] RETURNS [CellType];
END.