DIRECTORY BasicTime, CedarProcess, Commander, Icons, IO, List, MakeDo, RedBlackTree, Rope, TimeStamp;MakeDoPrivate: CEDAR DEFINITIONS =BEGIN OPEN MakeDo;NodeList: TYPE = LIST OF Node;Node: TYPE = REF NodeRep;NodeRep: TYPE = RECORD [name: ROPE,class: NodeClass,memberships: RefTable--of NodeSet--,producer: Edge _ NIL,props: PropList _ NIL,to: ARRAY ActionDep OF EdgeRingHead _ ALL[emptyHead],modifiability: Modifiability _ uninitialized,created: Time _ unknownTime,current: ExpensiveBool _ notComputed,broken: BOOL _ FALSE,consistencyAsked: BOOL _ FALSE,consistent: BOOL _ FALSE,consistencyReason: ROPE _ NIL,someoneWhoCares: Job _ NIL,state: NodeState _ inactive,waitCount: INTEGER _ 0,waitingOnCurrent: NodeList _ NIL];NodeState: TYPE = {inactive, ready, working, waiting};Action: TYPE = REF ActionRep;ActionRep: TYPE = RECORD [class: ActionClass,foundData: REF ANY,cmd: ROPE,makes: EdgeRingHead _ emptyHead,from: ARRAY ActionDep OF EdgeRingHead _ ALL[emptyHead],waitingForPermission: NodeList _ NIL,permissionGranted: BOOL _ FALSE,derivedFromCurrentDeterminers: BOOL _ TRUE,queuedFailsInvalidation: BOOL _ FALSE,fails: ExpensiveBool _ notComputed,reasonWhyLastDone: ROPE _ NIL];ExpensiveBool: TYPE = {notComputed, false, true} _ notComputed;Expensify: ARRAY BOOL OF ExpensiveBool = [false, true];EdgeRingHead: TYPE = RECORD [first, last: Edge];emptyHead: EdgeRingHead = [NIL, NIL];Edge: TYPE = REF EdgeRep;EdgeRep: TYPE = RECORD [optional: BOOL,n: Node,a: Action,nNext, nPrev: Edge,aNext, aPrev: Edge];Job: TYPE = REF JobRep;JobRep: TYPE = RECORD [wDir: ROPE,goals, processes: RefTable,otherModifiable: ModifiabilitySpec,nSteps: NAT _ 0,failedSteps: ActionList _ NIL];NodeSet: TYPE = REF NodeSetPrivate;NodeSetPrivate: TYPE = RECORD [nodes: RefTable,currents, nonCurrents: INT _ 0,broken, ok: INT _ 0];NodeClass: TYPE = REF NodeClassRep;NodeClassRep: TYPE = RECORD [name: ROPE,CanonizeName: PROC [ROPE] RETURNS [ROPE],GetTime: GetTimeProc];debugging: BOOL;leaf: Action;Log: PROC [fmt: ROPE, v1, v2, v3, v4, v5: IO.Value _ [null[]]];Confirm: PROC [action: ROPE];GetCommanderHandle: PROC RETURNS [Commander.Handle];EnumerateFinders: PROC [to: PROC [Finder]];IncrementStepCount: PROC [Job];AddFailedCmd: PROC [Job, Action];EnglishList: PROC [NodeList] RETURNS [el: ROPE, ec: CARDINAL];NodeInRefTable: PROC [n: Node, t: RefTable] RETURNS [BOOL];IsRootGoal: PROC [job: Job, n: Node] RETURNS [BOOL];IsLeaf: PROC [job: Job, n: Node] RETURNS [BOOL];StartTime: PROC [n: Node];EnumerateNodes: PROC [to: PROC [Node], andDestroy--table when done--: BOOL];IconSeq: TYPE = REF IconSeqPrivate;IconSeqPrivate: TYPE = RECORD [icons: SEQUENCE length: NAT OF Icons.IconFlavor];icons: IconSeq;END.  D  MakeDoPrivate.MesaLast Edited by: Spreitzer, February 20, 1986 6:42:53 pm PSTMike Spreitzer July 28, 1986 7:43:13 pm PDTCarl Hauser, April 11, 1985 3:34:27 pm PSTDefinitions:Current[n] = if Leaf[n]then trueelse let a = n.producer inCorrectlyDerived[a]& (A i_a: Current[i])& (a.Consistent[{i:i_a}, n]V Eiga: ~i.Exists[]V Ei_a: Broken[i]V a.Fails[{i:i_a}])CorrectlyDerived[a] = A iba: Current[i] & DerivedFrom[a, i] V Eiba: Broken[i]Leaf[n] = CertainlyNotModifiable[n] V n has no producerCurrent[n] g Broken[n] =CertainlyModifiable[n] & ~n.Exists[]V ~CertainlyNotModifiable[n] & Ea_n: (Ei_a: Broken[i] V Eiba: Broken[i]V CertainlyModifiable[n] & Eiga: ~i.Exists[]V A iga: i.Exists[] & a.Fails[{i:i_a}])Basic Monitor Invariant:(eb: ExpensiveBool S b: BOOL W eb=notComputed g b=eb)~RawLeaf[node] g node.consistencyAsked gnode.consistent = node.producer.Consistent[{i:i_a}, node]node.current S Current[n]node.created dates contents used hereinnode.current=true g node.broken = Broken[n]NodeSets agree with nodesact.correctlyDerived g CorrectlyDerived[a]ifact.permissionGranted & act.queuedFailsInvalidation then a.Fails[..] unknownelse act.fails S a.Fails[..]currents counts nodes with current=true; nonCurrent counts others.Only current nodes are counted broken or ok.In Basic monitor:In node table monitor: Э╩V  Ц"cedar" styleШ codeЩJЩ;KЩ+KЩ*ЧKШ KЪ╧k	Ь,ЭЬ.ШeKШ KЪ╨bxЬЭЬЭЬШ"KШ KЪЭЬЭЬШKШ headЩЪЬЩKЪЬ	Щ	ЪЬЩKЩKЪ╧mЬЯЬЯЬЩЪЯЬЯЬЩKЪЯЬЯЬЯЬЩKЪЯЬЯЬЯЬЩKЪЯЬЯЬЩЧЧЧKЪЬЯЬЯЬЯЬЯЬЯЬЯЬЩMKЪЬ$ЯЬЩ7ЪЬЯЬЩKЪЬЯЬЩ$ЪЯЬЯЬЯЬЯЬЩ&KЪ
ЯЬЯЬЯЬЯЬЯЬЩ!KЪЯЬЯЬЯЬЯЬЩ,KЪ
ЯЬЯЬЯЬЯЬЯЬЩ'ЧЧЧKШ ЩKЪ	ЬЯЬ	ЯЬЯЬЯЬЩ5ЪЬЯЬЯЩ(KЪЬ/ЯЬ	Щ9ЧKЪЬЯЬЩKЪЬ'Щ'KЪЬЯЬЩ+KЩKЪЬЯЬЩ*ЩKЪЬЯЬ5ЩLKЪЬЯЬЩЧЧKШ KЪЬ
ЭЬЭЬЭЬШKЪЬЭЬЭЬ	ШЪЬ	ЭЬЭЬШKЪЬЭЬШKШKЪЬ╧cЬШ$KЪЬЭЬШKЪЬЭЬШKЪЬЭЬЭЬЭЬШ5KЪЬ-Ш-KЪЬШKШ%KЪЬЭЬЭЬШKЪЬЭЬЭЬШKЪЬЭЬЭЬШKЪЬЭЬЭЬШKЪЬЭЬШKШKЪЬЭЬШKЪЬЭШ KШЧKШ KЪЬЭЬ'Ш6KШ KЪЬЭЬЭЬШЪЬЭЬЭЬШKШKЪЬЭЬЭЬШKЪЬЭЬШ
KЪЬ Ш KЪЬЭЬЭЬЭЬШ7KЪЬ!ЭЬШ%KЪЬЭЬЭЬШ KЪЬЭЬЭЬШ+KЪЬЭЬЭЬШ&KШ#KЪЬЭЬЭШKЪЬШЧKШ KЪЬЭЬ,Ш?KЪЬЭЬЭЬЭЬШ7KШ KЪЬЭЬЭЬШ0KЪЬЭЬЭЬШ%KШ KЪЬЭЬЭЬ	ШЪЬ	ЭЬЭЬШKЪЬ
ЭЬШKШKШ
KЪЬШKЪЬШKШЧKШ KЪЬЭЬЭЬШЪЬЭЬЭЬШKЪЬЭЬШKЪЬШKЪЬ#Ш#KЪЬЭЬШKЪЬЭШKШЧKШ KЪЬ	ЭЬЭЬШ#ЪЬЭЬЭЬШKШЪЬЭЬШKЩBЧЪЬЭЬШKЩ,ЧKШЧKШ KЪЬЭЬЭЬШ#ЪЬЭЬЭЬШKЪЬЭЬШKЪ
╧nЬЭЬЭЬЭЬЭЬШ)KШKШЧKШ KЪЬЭЬШKШKШ KЪбЬЭЬЭЬЭЬШ?KЪбЬЭЬ
ЭЬШKЪбЬЭЬЭЬШ4KШ KЪбЬЭЬЭЬШ+KШ KЪбЬЭЬШKЪбЬЭЬШ!KШ KЪ
бЬЭЬЭЬЭЬЭЬШ>KЪбЬЭЬЭЬЭЬШ;KЪб
ЬЭЬЭЬЭЬШ4KЪбЬЭЬЭЬЭЬШ0KШ ЩKЪб	ЬЭЬШЧKШ ЩKЪ
бЬЭЬЭЬаЬЭЬШLЧKШ KЪЬ	ЭЬЭЬШ#KЪЬЭЬЭЬ	ЭЬ	ЭЬЭЬШPKШ KШKШ KЪЭЬШЧ ЕЧ    
ъ  Д  