DIRECTORY
BasicTime USING [Now],
CommandTool USING [Run],
FS USING [Error],
IO USING [PutF, rope],
MessageWindow USING [Append],
PrincOps USING [NoTimeout], 
Process USING [Abort, Detach, GetPriority, Priority, priorityBackground, SecondsToTicks, SetPriority, SetTimeout],
Real USING [FixC],
RefText USING [New],
Rope USING [Equal, Find, FromRefText, IsEmpty, ROPE, Substr],
spGlobals USING [Aborted, bomb, CircuitRec, CleanUp, defineCircuit, dumpAll, error, ErrWarnSummary, fileNameStackSeq, fileStackSeq, function, functionTable, FuncTableBlk, Handle, keys, makePlotList, makePrintList, maxInclude, maxLog, maxPlots, maxPrints, model, modFuncPtr, modelTable, ModelTableBlk, nameBlk, namePtr, next, openInputFile, output, PlotSeq, printHole, PrintSeq, PutMsgLine, runIt, searchKey, SetCursor, setICs, topoAnalysis, Variables, WorstNodeLog],
ViewerClasses USING [Viewer],
ViewerTools USING [SetContents];

spMain: CEDAR MONITOR
IMPORTS BasicTime, CommandTool, FS, IO, MessageWindow, Process, Real, --RecursivelyNIL, --RefText, Rope, spGlobals, ViewerTools 
EXPORTS spGlobals=

{ OPEN spGlobals;

EnterModels: PUBLIC ENTRY PROC[entry: ModelTableBlk]= {
ENABLE UNWIND => NULL;
FOR m: LIST OF REF ModelTableBlk _ modelTable, m.rest UNTIL m=NIL DO
IF Rope.Equal[m.first.name, entry.name] THEN {
m.first^ _ entry;
RETURN;
};
ENDLOOP;
modelTable _ CONS[NEW[ModelTableBlk_ entry], modelTable];
}; -- EnterModels

EnterFunctions: PUBLIC ENTRY PROC[entry: FuncTableBlk]= {
ENABLE UNWIND => NULL;
FOR f: LIST OF REF FuncTableBlk _ functionTable, f.rest UNTIL f=NIL DO
IF Rope.Equal[f.first.name, entry.name] THEN {
f.first^ _ entry;
RETURN;
};
ENDLOOP;
functionTable _ CONS[NEW[FuncTableBlk_ entry], functionTable];
}; -- EnterFunctions


findModel: PUBLIC ENTRY PROC[name: Rope.ROPE] RETURNS[REF ModelTableBlk]= {
ENABLE UNWIND => NULL;
FOR m: LIST OF REF ModelTableBlk _ modelTable, m.rest UNTIL m=NIL DO
IF Rope.Equal[m.first.name, name] THEN RETURN[m.first];
ENDLOOP;
RETURN[NIL];
}; -- findModel

findFunction: PUBLIC ENTRY PROC[name: Rope.ROPE]
RETURNS[REF FuncTableBlk]= {
ENABLE UNWIND => NULL;
FOR f: LIST OF REF FuncTableBlk_ functionTable, f.rest UNTIL f=NIL DO
IF Rope.Equal[f.first.name, name] THEN RETURN[f.first];
ENDLOOP;
RETURN[NIL];
}; -- findFunction

ResetCheckPoint: PUBLIC ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
handle.vars.checkPoint_ FALSE };

Canned: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= {
ENABLE UNWIND => NULL;
RETURN[handle.vars.canned]};

ForcedDump: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= {
ENABLE UNWIND => NULL;
RETURN[handle.vars.forcedDump]};

CheckPoint: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= {
ENABLE UNWIND => NULL;
RETURN[handle.vars.checkPoint]};

ShowDetails: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= {
ENABLE UNWIND => NULL;
RETURN[handle.showTimeStep]};

EchoInput: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= {
ENABLE UNWIND => NULL;
RETURN[handle.echoInput]};

StopIt: PUBLIC ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
IF handle # NIL THEN {
IF handle.vars # NIL THEN {
handle.vars.forcedDump_ FALSE; 
handle.vars.canned_ TRUE;
};
AbortCheckPoint[handle];
};
}; -- StopIt

DumpIt: PUBLIC ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
IF handle # NIL THEN {
IF handle.vars # NIL THEN {
handle.vars.forcedDump_ TRUE;
handle.vars.canned_ TRUE;
};
AbortCheckPoint[handle];
};
}; -- DumpIt

ToggleShowDetails: PUBLIC ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
handle.showTimeStep_ ~handle.showTimeStep;
}; -- ToggleShowDetails

ToggleEchoInput: PUBLIC ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
handle.echoInput_ ~handle.echoInput;
}; -- ToggleEchoInput

NormalRun: PUBLIC PROC[handle: Handle, background, fork: BOOL _ TRUE]= {
ENABLE UNWIND => NULL;
IF handle = NIL THEN RETURN;
IF handle.stage=idle AND handle.simulation=NIL THEN {
curPriority: Process.Priority = Process.GetPriority[];
handle.stage_ input;
SetCursor[handle];
IF background THEN Process.SetPriority[Process.priorityBackground];
handle.outer.inhibitDestroy _ TRUE;
IF fork THEN handle.simulation_ FORK Simulate[handle]
ELSE {
handle.simulation_ NIL;
Simulate[handle];
};
IF background THEN Process.SetPriority[curPriority];
IF fork THEN TRUSTED {Process.Detach[handle.simulation]};
}
ELSE MessageWindow.Append[
message: "Previous simulation has not finished yet.", clearFirst: TRUE];
}; -- NormalRun

BatchRun: PUBLIC PROC[handle: Handle, inputFile: Rope.ROPE _ NIL, background, fork: BOOL _ TRUE]= {
IF handle = NIL THEN RETURN;
IF inputFile # NIL THEN ViewerTools.SetContents[handle.input, inputFile];
NormalRun[handle, background, fork];
IF handle.simulation # NIL THEN TRUSTED {JOIN handle.simulation};
}; -- BatchRun

NextStage: PUBLIC ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
SELECT handle.stage FROM
input, bomb, topo => {
handle.stage_ SUCC[handle.stage];
SetCursor[handle];
};
run => {
handle.vars.runState _ (handle.vars.runState + 1) MOD 4;
SetCursor[handle];
};
ENDCASE => MessageWindow.Append[ -- should not get here
message: "* Weird situation detected in 'NextStage', please inform SChen.pa",
clearFirst: TRUE];
}; -- NextStage

PeriodicSetCheckPoint: ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
WHILE handle # NIL DO
ENABLE ABORTED => EXIT;
WAIT handle.checkPointCV;
IF handle # NIL THEN
IF handle.vars # NIL THEN handle.vars.checkPoint_ TRUE
ELSE EXIT;
ENDLOOP;
IF handle # NIL THEN
TRUSTED {Process.SetTimeout[@handle.checkPointCV, PrincOps.NoTimeout]};
}; -- PeriodicSetCheckPoint

CleanIt: ENTRY PROC[handle: Handle]= {
ENABLE UNWIND => NULL;
CleanUp[handle];
}; -- CleanIt

AbortCheckPoint: INTERNAL PROC[handle: Handle]= {
IF handle = NIL THEN RETURN;
IF handle.stage=run AND handle.checkProcess # NIL THEN {
TRUSTED {Process.Abort[LOOPHOLE[handle.checkProcess, UNSPECIFIED]]};
handle.checkProcess_ NIL;
};
}; -- AbortCheckPoint

AddLibrary: PROC[handle: Handle]= {
next[handle];
IF handle.vars.item=leftB THEN next[handle] ELSE error[handle, 801, TRUE];
IF handle.vars.item=name THEN {
originalName, nameRoot, errMsg: Rope.ROPE;
dotPosition: INT;
originalName_ Rope.FromRefText[handle.vars.newString];
dotPosition_ Rope.Find[originalName, "."];
nameRoot_ IF dotPosition=-1 THEN originalName
ELSE Rope.Substr[originalName, 0, dotPosition-1];
IF NOT (Rope.Equal[nameRoot, "MosModels",    FALSE] OR
Rope.Equal[nameRoot, "StdFunctions", FALSE] OR
Rope.Equal[nameRoot, "Level2Model",  FALSE]) THEN {
[errMsg, ]_ CommandTool.Run[originalName];
IF NOT errMsg.IsEmpty[] THEN PutMsgLine[handle, errMsg];
};
next[handle];
}
ELSE error[handle, 804, TRUE];
IF handle.vars.item=rightB THEN next[handle] ELSE error[handle, 802, FALSE];
IF handle.vars.item=semi THEN next[handle] ELSE error[handle, 800, FALSE];
}; -- AddLibrary

Simulate: PUBLIC PROC[handle: Handle]= {
ENABLE {
Aborted => GOTO stop;
ABORTED => {handle.vars.canned _ TRUE; GOTO dumpStop};
FS.Error => {
handle.msgStream.PutF["%g\nProgram stopped.\n", IO.rope[error.explanation]];
GOTO stop;
};
};
InitVars[handle];
openInputFile[handle];
next[handle];

WHILE handle.vars.item=name DO
IF Canned[handle] THEN GOTO stop;
IF searchKey[handle]=libraryKey THEN AddLibrary[handle] ELSE EXIT;
ENDLOOP;  

IF handle.vars.item=name AND searchKey[handle]=circuitKey THEN {
theRoot: namePtr_ NEW[nameBlk_
[name: "Main Circuit", details: NEW[CircuitRec_ []]] ];
defineCircuit[handle: handle, ckt: theRoot, root: TRUE]; -- may signal Aborted
}
ELSE error[handle, 820, TRUE];
IF handle.vars.item=slash AND handle.vars.errCount <= 0 THEN {
next[handle];
output[handle, handle.vars.cktRoot, 0];
};

IF handle.vars.item#semi THEN error[handle, 800,, FALSE]
ELSE IF handle.vars.errCount <= 0 THEN {
NextStage[handle];
bomb[handle]; -- may signal Aborted
next[handle];
IF handle.vars.item=plus THEN {next[handle]; printHole[handle]};
};
IF handle.vars.errCount <= 0 THEN {
NextStage[handle];
topoAnalysis[handle];
IF Canned[handle] THEN GOTO stop;
};
IF handle.vars.errCount <= 0 THEN {
NextStage[handle];
WHILE handle.vars.item=name DO
OPEN handle.vars;
key: keys_ searchKey[handle];
next[handle];
SELECT key FROM
runKey=> {
TRUSTED {
Process.SetTimeout[@handle.checkPointCV,
Process.SecondsToTicks[Real.FixC[60.0*checkPointInterval]]];
Process.Detach[handle.checkProcess_ FORK PeriodicSetCheckPoint[handle]];
};
lastTime_ runIt[handle];
IF NOT Canned[handle] THEN PutMsgLine[handle, "Done."];
};
printKey=> makePrintList[handle];
plotKey => makePlotList[handle];
icKey   => setICs[handle];
dumpKey => IF ~ForcedDump[handle] THEN dumpAll[handle, lastTime];
checkPointKey=> {
IF item=leftB THEN next[handle] ELSE error[handle, 801];
IF item=number THEN {
checkPointInterval_ value;
next[handle]
}
ELSE error[handle, 809, FALSE];
IF item=rightB THEN next[handle] ELSE error[handle, 802];
}
ENDCASE=> GOTO err1;
IF item=eof THEN EXIT;
IF item=semi THEN next[handle] ELSE error[handle, 800,, FALSE];
REPEAT
err1=> error[handle, 821, TRUE];
ENDLOOP;
}; -- run

IF ForcedDump[handle] THEN dumpAll[handle, handle.vars.lastTime];
ErrWarnSummary[handle]; 
GOTO stop;
EXITS
dumpStop=> {
dumpAll[handle, handle.vars.lastTime];
handle.msgStream.PutF["Last state is dumped in the dump file."];
CleanIt[handle];
};
stop=> CleanIt[handle];
}; -- Simulate
InitVars: PROC[handle: Handle]= {
handle.vars_ NEW[Variables_ [ ]];
{OPEN handle.vars;
simTime _ BasicTime.Now[];
line_ RefText.New[256];
newString_ RefText.New[256];
line.length_ 0;
newString.length_ 0;
fileStack_ NEW[fileStackSeq[maxInclude]];
FOR i: NAT IN [0..maxInclude) DO fileStack[i] _ NIL ENDLOOP;
fileNameStack_ NEW[fileNameStackSeq[maxInclude]];
FOR i: NAT IN [0..maxInclude) DO fileNameStack[i] _ NIL ENDLOOP;
prints_ NEW[PrintSeq[maxPrints]];
FOR i: NAT IN [0..maxPrints) DO prints[i] _ [] ENDLOOP;
plots_ NEW[PlotSeq[maxPlots]];
FOR i: NAT IN [0..maxPlots) DO plots[i] _ [] ENDLOOP;
worstNodeLog_ NEW[WorstNodeLog[maxLog]];
FOR i: NAT IN [0..maxLog) DO worstNodeLog[i] _ []; ENDLOOP;
};
}; -- InitVars
}.
CHANGE LOG
Wilhelm, April 27, 1982  4:07 PM
Barth,  7-May-82 14:41:52 PDT
Chen, April 19, 1983  6:45 PM, changed the version name for openSysWindow.
Barth, July 11, 1983  12:46 PM
Chen, June 12, 1984 11:37:19 am PDT, cedarized.
Chen, May 15, 1985 5:23:49 pm PDT, Thyme viewer is inhibited from being destroyed by user when simulation is running.
Chen, July 22, 1985 8:09:51 pm PDT, => Cedar6.0.


>File: spMain.mesa
Copyright (C) 1985 by Xerox Corporation.  All rights reserved.
Last Edited by:
Pradeep Sindhu October 21, 1985 4:59:35 pm PDT
Sweetsun Chen, October 21, 1985 3:55:58 pm PDT

RecursivelyNIL USING [CheckProc, NILRef],
entry procs
libraries
circuit definition
explode

analyze

run
killPlot[]



สภ˜Jš
ะct™Jš
œ>™>š
œ™Icode™.K™.—J™š
ฯk	˜	Jšœ
žœ˜Jšœžœ˜Jšžœ
žœ	˜Jšžœ
žœ˜Jšœžœ
˜Jšœ	žœ˜Jšœžœe˜rJšœžœ™)Jšœžœ˜Jšœžœ˜Jšœžœ%žœ
˜=Jšœ
žœร˜าJšœžœ
˜Jšœžœ˜ —J˜šœžœ
ž˜Jšžœžœžœ ฯcœ&˜€
Jšžœ˜—J˜Jšœžœ˜J˜šฯnœžœ
žœ
žœ˜7Jšžœ
žœžœ
˜š
žœžœ
žœ
žœ$žœžœ
ž˜Dšžœ&žœ˜.Jš
œ˜Jšžœ
˜Jš
œ˜—Jšžœ
˜—Jšœ
žœ
žœ$˜9Jšœœ
˜—š œžœ
žœ
žœ˜9Jšžœ
žœžœ
˜š
žœžœ
žœ
žœ&žœžœ
ž˜Fšžœ&žœ˜.Jš
œ˜Jšžœ
˜Jš
œ˜—Jšžœ
˜—Jšœžœ
žœ&˜>Jšœ˜—J˜Jš
ฯt™J˜š
œžœ
žœ
žœžœžœ
žœ˜KJšžœ
žœžœ
˜š
žœžœ
žœ
žœ$žœžœ
ž˜DJšžœ žœ
žœ
˜7Jšžœ
˜—Jšžœ
žœ˜Jšœ˜—J˜š	œžœ
žœ
žœžœ
˜0Jšžœ
žœ˜Jšžœ
žœžœ
˜š
žœžœ
žœ
žœ%žœžœ
ž˜EJšžœ žœ
žœ
˜7Jšžœ
˜—Jšžœ
žœ˜Jšœ˜—J˜š œžœ
žœ
žœ˜5Jšžœ
žœžœ
˜Jšœžœ˜ —J˜š œžœ
žœ
žœžœ
žœ˜:Jšžœ
žœžœ
˜Jšžœ˜—J˜š 
œžœ
žœ
žœžœ
žœ˜>Jšžœ
žœžœ
˜Jšžœ˜ —J˜š 
œžœ
žœ
žœžœ
žœ˜>Jšžœ
žœžœ
˜Jšžœ˜ —J˜š œžœ
žœ
žœžœ
žœ˜?Jšžœ
žœžœ
˜Jšžœ˜—J˜š 	œžœ
žœ
žœžœ
žœ˜=Jšžœ
žœžœ
˜Jšžœ˜—J˜š œžœ
žœ
žœ˜,Jšžœ
žœžœ
˜šžœ
žœ
žœ˜šžœžœ
žœ˜Jšœžœ˜Jšœžœ
˜J˜—Jš
œ˜J˜—Jšœ	˜—J˜š œžœ
žœ
žœ˜,Jšžœ
žœžœ
˜šžœ
žœ
žœ˜šžœžœ
žœ˜Jšœžœ
˜Jšœžœ
˜J˜—Jš
œ˜J˜—Jšœ	˜—J˜š œžœ
žœ
žœ˜7Jšžœ
žœžœ
˜Jš
œ*˜*Jšœ˜—J˜š œžœ
žœ
žœ˜5Jšžœ
žœžœ
˜Jš
œ$˜$Jšœ˜—J˜š
 	œžœ
žœ#žœžœ˜HJšžœ
žœžœ
˜Jšžœ
žœ
žœ
žœ
˜šžœžœžœ
žœ˜5J˜6Jš
œ˜Jš
œ˜Jšžœžœ1˜CJšœžœ
˜#Jšžœžœžœ˜5šžœ˜Jšœžœ
˜Jš
œ˜J˜—Jšœžœ"˜4Jšžœžœ
žœ%˜9Jš
œ
˜
—šžœ˜JšœBžœ˜H—JšœŸ	˜—J˜š œžœ
žœ!žœžœžœžœ˜cJšžœ
žœ
žœ
žœ
˜Jšžœ
žœ
žœ2˜IJšœžœ˜$Jš
žœžœ
žœ
žœžœ˜AJšœŸ˜—J˜š 	œžœ
žœ
žœ˜/Jšžœ
žœžœ
˜šžœž˜š
œ˜Jšœžœ˜!Jš
œ˜Jš
œ˜—š
œ˜Jšœ2žœ˜8Jš
œ˜Jš
œ˜—šžœ˜7Jš
œM˜MJšœžœ˜——Jšœ˜—J˜š œžœ
žœ˜4Jšžœ
žœžœ
˜šžœ
žœ
ž˜Jšžœ
žœžœ
˜Jšžœ˜šžœ
žœ
ž˜Jšžœžœ
žœž˜6Jšžœ
žœ
˜
—Jšžœ
˜—šžœ
žœ
ž˜Jšžœ@˜G—Jšœ˜—J˜š œžœ
žœ˜&Jšžœ
žœžœ
˜J˜Jšœ
˜
—J˜š œžœ
žœ˜1Jšžœ
žœ
žœ
žœ
˜šžœžœžœ
žœ˜8Jšžœžœžœ˜DJšœžœ
˜Jš
œ˜—Jšœ˜—J˜š 
œžœ˜#Jš
œ
˜
Jšžœžœžœžœ˜Jšžœžœ˜Jšœ%žœ
˜*Jšœ
žœ
˜Jš
œ6˜6Jš
œ*˜*šœ
žœžœ
˜-Jšžœ-˜1—šžœ
žœ'žœž˜6Jšœ%žœž˜.šœ%žœžœ˜3Jš
œ*˜*Jšžœ
žœžœ˜8Jš
œ˜——Jš
œ
˜
Jš
œ
˜
—Jšžœžœ˜Jšžœžœžœžœ˜LJšžœžœžœžœ˜JJšœ
˜—J˜š œžœ˜(šžœ˜Jšœžœ˜Jšžœžœžœ˜6šžœ˜
Jšœ0žœ˜LJšžœ˜
J˜—J˜—Jš
œ˜Jš
œ˜Jš
œ
˜
J˜Jš
	™	šžœž˜Jšžœžœ
žœ˜!Jšžœžœžœ
žœ
˜BJšžœ˜
—J˜Jš
™šžœžœžœ˜@Jšœžœ	˜Jšœ žœ˜7Jšœ2žœŸ˜NJš
œ
˜
—Jšžœžœ˜šžœžœžœ˜>Jš
œ
˜
Jš
œ'˜'Jš
œ˜—Jš
œ™Jšžœžœžœ
˜8šžœ
žœžœ˜(Jš
œ˜JšœŸ˜#Jš
œ
˜
Jšžœžœ#˜@Jš
œ˜—J™Jš
œ™šžœžœ˜#Jš
œ˜Jš
œ˜Jšžœžœ
žœ˜!Jš
œ˜——™Jš
œ™šžœžœ˜#Jš
œ˜šžœž˜Jšžœ
˜Jš
œ˜Jš
œ
˜
šžœž˜š
œ
˜
šžœ˜	Jš
œ(˜(Jš
œ<˜<Jšœ$žœ ˜HJš
œ˜—Jš
œ˜Jšžœ
žœžœ˜7Jš
œ˜—Jš
œ!˜!Jš
œ ˜ Jš
œ˜Jšœžœžœ˜Aš
œ˜Jšžœžœžœ˜8šžœ
žœ˜Jš
œ˜Jš
œ˜Jš
œ
˜
—Jšžœžœ˜Jšžœ
žœžœ˜9Jš
œ
˜
—Jšžœžœ˜—Jšžœ
žœ
žœ
˜Jšžœžœžœžœ˜?š
ž˜Jšœžœ˜ —Jšžœ
˜—Jšœ˜	—J˜Jšžœžœ'˜AJš
œ˜Jš
œ
™
Jšžœ˜
š
ž˜š
œ˜Jš
œ&˜&Jš
œ@˜@Jš
œ˜Jš
œ˜—Jš
œ˜—Jšœ˜J™—š œžœ˜!Jšœ
žœ˜!šœ
žœ
˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jšœžœ˜)Jšžœžœ
žœžœžœ
žœ
˜<Jšœžœ˜1Jšžœžœ
žœžœžœ
žœ
˜@Jšœžœ˜!Jš
žœžœ
žœžœžœ
˜7Jšœžœ˜Jš
žœžœ
žœžœžœ
˜5Jšœžœ˜(Jš
žœžœ
žœ
žœžœ
˜;Jš
œ˜—Jšœ˜—J™Jš
œ˜J™šžœ
ž˜
Jšœž˜ Jšœž˜Jšœžœ-˜JJšœž˜Jšœ žœ˜/JšœžœT˜uJ–
"mycedar" stylešœžœ˜0J˜——…—(X9V