MonitorSmallCachePmCode.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Created: October 12, 1987 5:08:14 pm PDT
Pradeep Sindhu January 25, 1988 2:46:16 pm PST
Defs for mcode monitoring.
DIRECTORY
Core, AMatrix, Ports, Rope;
MonitorSmallCachePmCode: 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 [
am: AMatrix.AMNIL,
amSeq: AMatrix.AMSeq ← 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.