DIRECTORYCommander USING [Handle],Icons USING [IconFlavor],IO USING [Value],MakeDo,SymTab;MakeDoPrivate: CEDAR DEFINITIONS =BEGIN OPEN MakeDo;NodeList: TYPE = LIST OF Node;Node: TYPE = REF NodeRep;NodeRep: TYPE = RECORD [given, 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,length: INT _ FIRST[INT],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,timesTried: INTEGER _ 0,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],GetInfo: GetInfoProc];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];MDInstall: PROC [dir, packageName: ROPE] RETURNS [foundFile, failed: BOOL];EnumerateFinders: PROC [to: PROC [Finder] RETURNS [stop: BOOL]];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];EnumerateAndDestroy: 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;EmptyCmdUtils: PROC;END.   Т  MakeDoPrivate.MesaLast tweaked by Mike Spreitzer on October 5, 1992 12:03 pm PDTCarl Hauser, April 11, 1985 3:34:27 pm PSTEduardo Pelegri-Llopart March 17, 1989 8:32:14 am PSTDefinitions:iba = i is a determiner of ai_a = i is an input of aiga = i is a mandatory input of a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 E i_a: (i.Exists & ~a.Consistent[i, n])& (E iga: ~i.Exists[] V 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]act.fails=notComputed g act.timesTried=0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:Clears data cached by the command utilities.Eduardo Pelegri-Llopart October 20, 1988 5:07:28 pm PDTcleaned up DIRECTORY and removed GetTerminalЭ╩*  Ц"cedar" styleШ codeЩKЩ>KЩ*KЩ5ЧKШ Ъ╧k	Ш	KЪЬ
ЭЬ
ШKЪЬЭЬШKЪЭЬЭЬ	ШKЪЬШKЪЬШЧKШ KЪ╨bxЬЭЬЭЬШ"KШ KЪЭЬЭЬШKШ headЩKЪЬ╧mЬЩKЪЬЯЬЩKЪЬЯЬЩ!ЪЬЩKЪЬ	Щ	ЪЬЩKЩKЪЯЬЯЬЯЬЩЪЯЬЯЬЩKЪЯЬЯЬЯЬЩKЪЯЬЯЬЯЬЩKЪЯЬЯЬЩЧЧЧKЪЬЯЬЯЬЯЬЯЬЯЬЯЬЩMKЪЬ$ЯЬЩ7ЪЬЯЬЩKЪЬЯЬЩ$ЪЯЬЯЬЯЬЯЬЩ&KЪ
ЯЬЯЬЯЬЯЬЯЬЩ!KЪЯЬЯЬЯЬЯЬЩ,ЪЯЬЯЬЯЬЯЬЩ)KЪ
ЯЬЯЬЯЬЯЬЯЬЩ+ЧЧЧЧKШ ЩKЪ	ЬЯЬ	ЯЬЯЬЯЬЩ5ЪЬЯЬЯЩ(KЪЬ/ЯЬ	Щ9ЧKЪЬЯЬЩ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Ш KЪЬЭЬ'Ш6KШ KЪЬЭЬЭЬШЪЬЭЬЭЬШKШKЪЬЭЬЭЬШKЪЬЭЬШ
KЪЬ Ш KЪЬЭЬЭЬЭЬШ7KЪЬ!ЭЬШ%KЪЬЭЬЭЬШ 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Ъ
б	ЬЭЬЭЬЭЬЭЬШKKШ KЪ
бЬЭЬЭЬ
ЭЬЭЬШ@KШ KЪбЬЭЬШKЪбЬЭЬШ!KШ KЪ
бЬЭЬЭЬЭЬЭЬШ>KЪбЬЭЬЭЬЭЬШ;KЪб
ЬЭЬЭЬЭЬШ4KЪбЬЭЬЭЬЭЬШ0KШ ЩKЪб	ЬЭЬШЧKШ ЩKЪ
бЬЭЬЭЬаЬЭЬШQЧKШ KЪЬ	ЭЬЭЬШ#KЪЬЭЬЭЬ	ЭЬ	ЭЬЭЬШPKШ KШKШ ЪбЬЭЬШKЩ,ЧKШ KЪЭЬШЩ7KЩ,ЧKЩ Ч ЕЧ    Ь  X  