DIRECTORYBasicTime USING [],CedarProcess USING [Process],Commander USING [Handle],IO USING [Value],List USING [],MakeDo USING [ForkParms, ModifiabilitySpec, RefTable],MakeDoPrivate USING [Action, ExpensiveBool, Job, Node],RefTab USING [Ref],Rope USING [ROPE];MakeDoBasics: CEDAR DEFINITIONS =BEGIN OPEN MakeDo, MakeDoPrivate;ROPE: TYPE = Rope.ROPE;RefTable: TYPE = MakeDo.RefTable;ExecutionViewer: TYPE = REF ANY;JobResources: TYPE ~ REF JobResourcesRep; JobResourcesRep: TYPE;Execution: TYPE = REF ExecutionPrivate;ExecutionPrivate: TYPE = RECORD [job: Job, a: Action, goal: Node, bch, ch: Commander.Handle, forked: BOOL, resources: JobResources, es: ExecutionState _ initial, process: CedarProcess.Process _ NIL, gushMe: BOOL _ FALSE, view: ExecutionViewer _ NIL];ExecutionState: TYPE ~ {initial, buffered, doing, ending, final};processToExecution: RefTab.Ref;  -- from ProcRef's into Execution's --ProcRef: TYPE ~ REF ProcRefRep;ProcRefRep: TYPE ~ RECORD [process: PROCESS];DoIn: PROC [PROC];InnerSetModifiability: --INTERNAL-- PROC [n: Node, goals: RefTable, ms: ModifiabilitySpec];InnerGetProduced: --INTERNAL-- PROC [n: Node];InnerLeaf: --INTERNAL-- PROC [n: Node] RETURNS [isLeaf: BOOL];SetBroken: --INTERNAL-- PROC [n: Node, broken: BOOL];InnerRederive: --INTERNAL-- PROC [a: Action];InnerUnknowFails: --INTERNAL-- PROC [a: Action];SetCurrency: --INTERNAL-- PROC [n: Node, current: ExpensiveBool];StatelessEnumerateRefTable: PROC [table: RefTable, EachNode: PROC [REF ANY] RETURNS [stop: BOOL _ FALSE]];InnerSuspectNodeChange: --INTERNAL-- PROC [n: Node];CheckIn: --ENTRY-- PROC [job: Job, goal: Node, producer: Action, process: CedarProcess.Process];EndFork: --ENTRY-- PROC [resources: JobResources];RecordAFork: PROC [JobResources];ShouldFork: PROC [] RETURNS [fork: BOOL, valid: BOOL _ FALSE, resources: JobResources _ NIL];InnerGetForkParms: -- ENTRY -- PROC RETURNS [ForkParms];InnerSetForkParms: -- ENTRY -- PROC [ForkParms];SetES: PROC [e: Execution, es: ExecutionState];NeedToFinish: PROC [e: Execution] RETURNS [BOOL];Msg: PROC [ch: Commander.Handle, format: ROPE, v1, v2, v3, v4, v5: IO.Value _ [null[]]];Buffer: PROC [e: Execution];Flush: PROC [e: Execution, long, abandon: BOOL, asRope: ROPE];DestroyAuxBox: PROC;AuxBoxDestroyed: PROC RETURNS [BOOL];Reporter: TYPE ~ REF ReporterRep;ReporterRep: TYPE ~ RECORD [destroyAuxBox: PROC,auxBoxDestroyed: PROC RETURNS [BOOL],buffer: PROC [e: Execution],msg: PROC [ch: Commander.Handle, format: ROPE, v1, v2, v3, v4, v5: IO.Value _ [null[]]],flush: PROC [e: Execution, long, abandon: BOOL, asRope: ROPE]];RegisterReporter: PROC [key: ATOM, reporter: Reporter];defaultReporter: READONLY ROPE;END.    ع  MakeDoBasics.MesaLast tweaked by Mike Spreitzer on April 26, 1990 9:15:30 am PDTEduardo Pelegri-Llopart November 17, 1988 4:54:24 pm PSTJKF January 11, 1989 10:20:16 am PSTFor stuff inside the Basic monitor.‌ت;  –"cedar" styleک code™Kڑœ?™?Kڑœ5دk™8K™$—Kک ڑ‌	ک	Jڑœ
‌œکJڑœ‌œکJڑœ
‌œ
کJڑ‌œ‌œ	کJڑœ‌œکJڑœ‌œ*ک6Jڑœ‌œ$ک7Jڑœ‌œکJڑœ‌œ‌œک—Kک K™#Kک Kڑرbnxœ‌œ‌œک!Kک Kڑ‌œ‌œک!Kک Kڑ‌œ‌œ‌œکKڑœ
‌œک!Kڑœ‌œ‌œ‌œک Kڑœ‌œ‌œ#‌œک@Kک Kڑœ‌œ‌œک'Kڑœ‌œ‌œF‌œY‌œ
‌œ‌œ‌œکْKک Kڑœ‌œ-کAKک Kڑœ!دc%کFKڑœ	‌œ‌œکڑœ‌œ‌œکKڑœ	‌کKک—Kک Kڑدnœ‌œ‌œکKک Kڑ œںœ‌œ3ک[Kک Kڑ œںœ‌œک.Kک Kڑ
 	œںœ‌œ‌œ
‌œک>Kک Kڑ 	œںœ‌œ‌œک5Kک Kڑ œںœ‌œک-Kک Kڑ œںœ‌œک0Kک Kڑ œںœ‌œ#کAKک Kڑ œ‌œ œ‌œ‌œ‌œ‌œ‌œ‌œکjKک Kڑ œںœ‌œک4Kڑ œں	œ‌œIک`Kڑ œں	œ‌œک2Kک Kڑ œ‌œک!Kڑ 
œ‌œ‌œ‌œ	‌œ‌œ‌œک]Kک Kڑ œںœ‌œ‌œک8Kڑ œںœ‌œک0Kک Kڑ œ‌œ$ک/Kڑ œ‌œ‌œ‌œک1Kک Kڑ œ‌œ ‌œ‌œکXKک Kڑ œ‌œکKڑ œ‌œ‌œ
‌œک>Kک Kڑ œ‌œکKڑ œ‌œ‌œ‌œک%Kک Kڑœ
‌œ‌œک!ڑœ‌œ‌œکKڑœ‌œکKڑœ‌œ‌œ‌œک%Kڑœ‌œکKڑœ‌œ ‌œ‌œکXKڑœ‌œ‌œ
‌œک=KکKک —Kڑ œ‌œ‌œک7Kک Kڑœ‌œ‌œکKڑ‌œک— …—    
¸  ح  