--CDPrivate.mesa (part of Chipndale)
--by Christian Jacobi November 21, 1983 4:02 pm
--last edited by Christian Jacobi November 22, 1983 5:33 pm
DIRECTORY
CD,
Rope USING [ROPE];
CDPrivate: CEDAR DEFINITIONS =
BEGIN
Debug: PROC [msg: Rope.ROPENIL, what: REFNIL, mayProceed: BOOLTRUE];
--gives the user the chance of entering the debugger
--msg is displayed to the user
--what may be inspected with the debugger
DebugCall: SIGNAL[what: REF];
--this signal is raised by Debug;
--Don't catch this signal; respectively before a catch of ANY,
--catch this signal and reject it, iff entering the debugger does not
--cause a deadlock on this place.
-- Levels
LevelRef: TYPE = REF LevelRec;
LevelRec: TYPE = RECORD [
technology: CD.Technology←NIL,
uniqueKey: ATOMNIL, -- unique per technology
properties: CD.Properties←NIL,
widthKey: REFNIL
];
levels: READONLY REF ARRAY CD.Level OF LevelRef;
END.