
DIRECTORY
Basics USING [IsBound],
BasicTime USING [GetClockPulses],
Commander USING [CommandObject, Handle],
CommanderOps USING [DoCommand],
Convert USING [RopeFromTime],
FileNames USING [CurrentWorkingDirectory],
FS,
Icons USING [IconFlavor, NewIconFromFile],
IO USING [card, Close, GetChar, noInputStream, PutChar, PutF1, PutFL, PutFR, rope, STREAM, Value],
List USING [AList, Assoc, PutAssoc],
MakeDo,
MakeDoPrivate USING [Action, ActionRep, IconSeq, IconSeqPrivate, Job, Node, NodeClass, NodeClassRep, NodeList, NodeRep, StartTime],
MakeDoPorting USING [logPath],
ProcessProps USING [AddPropList, GetPropList],
RefTab,
Rope,
SimpleFeedback USING [Append, Blink],
SymTab,
UserProfile USING [CallWhenProfileChanges, ProfileChangeReason, Token];

MakeDoAuxImpl: CEDAR MONITOR
IMPORTS Basics, BasicTime, CommanderOps, Convert, FileNames, FS, Icons, IO, List, MakeDo, MakeDoPrivate, MakeDoPorting, ProcessProps, RefTab, Rope, SimpleFeedback, SymTab, UserProfile
EXPORTS MakeDo, MakeDoPrivate
 =

BEGIN OPEN MakeDo, MakeDoPrivate;

RefTableE: TYPE = MakeDo.RefTable;
ROPE: TYPE = Rope.ROPE;
NodeRep: PUBLIC TYPE = MakeDoPrivate.NodeRep;
ActionRep: PUBLIC TYPE = MakeDoPrivate.ActionRep;
NodeClassRep: PUBLIC TYPE = MakeDoPrivate.NodeClassRep;

Warning: PUBLIC SIGNAL [message: ROPE] = CODE;

debugging: PUBLIC BOOL м FALSE;

leafClass: ActionClass м NEW [ActionClassRep м []];

leaf: PUBLIC Action м NEW [ActionRep м [cmd: "-- leaf", class: leafClass]];

nodes: SymTab.Ref м SymTab.Create[case: FALSE];
installationDirectory: ROPE = FileNames.CurrentWorkingDirectory[];
defaultIconFileShortName: ROPE = "MakeDo-MTV.icons";

iconsFileName: ROPE м NIL;
icons: PUBLIC IconSeq;

LoadIcons: PROC [fileName: ROPE] RETURNS [icons: IconSeq] = {
nIcons: NAT м 0;
flavors: LIST OF Icons.IconFlavor м NIL;
FOR nIcons м 0, nIcons+1 DO
flavor: Icons.IconFlavor = Icons.NewIconFromFile[fileName, nIcons];
IF flavor = unInit THEN EXIT;
flavors м CONS[flavor, flavors];
ENDLOOP;
icons м NEW [IconSeqPrivate[nIcons]];
FOR i: NAT DECREASING IN [0 .. icons.length) DO
icons[i] м flavors.first;
flavors м flavors.rest;
ENDLOOP;
IF flavors # NIL THEN ERROR;
};

DoInWDir: PROC [wDirRope: ROPE, inner: PROC] ~ {
propList: List.AList ~ List.PutAssoc[key: wDirKey, val: wDirRope, aList: NIL];
ProcessProps.AddPropList[propList: propList, inner: inner];
};
wDirKey: ATOM ~ $WorkingDirectory;

NoteProfile: PROC [reason: UserProfile.ProfileChangeReason] --UserProfile.ProfileChangedProc-- = {
proFileName: ROPE = UserProfile.Token["MakeDo.IconFile", defaultIconFileShortName];
Try: PROC [short: ROPE] RETURNS [ok: BOOL м TRUE] ~ {
TryInWDir: PROC ~ {
icons м LoadIcons[short !FS.Error => {
ok м FALSE;
SimpleFeedback.Append[$MakeDo, oneLiner, $info, Rope.Concat["Problem loading MakeDo icons from ", short]];
SimpleFeedback.Blink[$MakeDo, $info];
CONTINUE}];
IF ok THEN iconsFileName м short;
RETURN};
IF short.Equal[iconsFileName, FALSE] THEN RETURN;
DoInWDir[installationDirectory, TryInWDir];
RETURN};
IF Basics.IsBound[Icons.NewIconFromFile] THEN
IF NOT (Try[proFileName] OR Try[defaultIconFileShortName]) THEN {
icons м NEW [IconSeqPrivate[1]];
icons[0] м tool;
iconsFileName м NIL;
};
};

GetNode: PUBLIC ENTRY PROC [someName: ROPE, class: NodeClass, mayAdd: BOOL м TRUE] RETURNS [node: Node] = {
ENABLE UNWIND => NULL;
canonicalName: ROPE м IF class # NIL THEN class.CanonizeName[someName] ELSE someName;
IF (node м NARROW[nodes.Fetch[canonicalName].val]) = NIL AND mayAdd THEN {
node м NEW [NodeRep м [given: someName, name: canonicalName, class: class, memberships: MakeRefTable[]]];
StartTime[node];
IF NOT nodes.Insert[canonicalName, node] THEN ERROR;
}
ELSE IF node = NIL THEN NULL
ELSE IF class # node.class THEN ERROR;
};

EnumerateAndDestroy: PUBLIC ENTRY PROC [to: PROC [Node], andDestroy--table when done--: BOOL] = {
ENABLE UNWIND => {};
PerNode: PROC [key, val: REF ANY] RETURNS [stop: BOOL м FALSE] --RefTab.EachPairAction-- = {
n: Node = NARROW[val];
to[n];
RETURN [FALSE]};
IF nodes.Pairs[PerNode] THEN ERROR;
IF andDestroy THEN nodes.Erase[];
};

IncrementStepCount: PUBLIC ENTRY PROC [job: Job] = {
ENABLE UNWIND => {};
job.nSteps м job.nSteps + 1;
};

AddFailedCmd: PUBLIC ENTRY PROC [job: Job, a: Action] = {
ENABLE UNWIND => {};
job.failedSteps м CONS[a, job.failedSteps];
};

MakeRefTable: PUBLIC PROC RETURNS [table: RefTable] =
{table м RefTab.Create[]};

AddToRefTable: PUBLIC PROC [ra: REF ANY, t: RefTable] =
{IF NOT t.Insert[ra, $T] THEN ERROR; RETURN};

EnsureRefInTable: PUBLIC PROC [ra: REF ANY, t: RefTable] = {
[] м t.Insert[ra, $T];
RETURN};

DeleteFromRefTable: PUBLIC PROC [ra: REF ANY, t: RefTable] RETURNS [found: BOOL] = {
found м t.Delete[ra];
RETURN};

RefInTable: PUBLIC PROC [ra: REF ANY, t: RefTable] RETURNS [BOOL] = {
RETURN [t.Fetch[ra].found]};

MDInstall: PUBLIC PROC [dir, packageName: ROPE] RETURNS [foundFile, failed: BOOL м TRUE] ~ {
log: IO.STREAM ~ FS.StreamOpen[fileName: Rope.Cat[MakeDoPorting.logPath, packageName, ".InstallLog"], accessOptions: create, keep: 10];
searchRules: REF ANY м List.Assoc[$SearchRules, GetCommanderHandle[].propertyList];
processProps: List.AList ~ List.PutAssoc[$WorkingDirectory, dir, NIL];
cmd: Commander.Handle ~ NEW [Commander.CommandObject м [
in: IO.noInputStream,
out: log,
err: log,
commandLine: NIL,
propertyList: List.PutAssoc[$SearchRules, searchRules, NIL]
]];
Doit: PROC ~ {
failed м CommanderOps.DoCommand[Rope.Concat[
"Install ",
packageName
], cmd] = $Failure;
RETURN;
};
ProcessProps.AddPropList[processProps, Doit];
log.Close[];
RETURN};

chKey: ATOM м $CommanderHandle;

GetCommanderHandle: PUBLIC PROC RETURNS [ch: Commander.Handle] = {
ch м NARROW[List.Assoc[chKey, ProcessProps.GetPropList[]]];
IF ch = NIL THEN ERROR;
};

fineTime: BOOL м FALSE;

Log: PUBLIC PROC [fmt: ROPE, v1, v2, v3, v4, v5: IO.Value м [null[]]] =
BEGIN
out: IO.STREAM м GetCommanderHandle[].out;
IF fineTime THEN out.PutF1["%g:", IO.card[BasicTime.GetClockPulses[]]];
out.PutFL[fmt, LIST[v1, v2, v3, v4, v5]];
out.PutChar['\n];
END;

Confirm: PUBLIC PROC [action: ROPE] =
BEGIN
ch: Commander.Handle = GetCommanderHandle[];
in: IO.STREAM = ch.in;
out: IO.STREAM = ch.out;
out.PutF1["Ready to %g ? ", IO.rope[action]];
WHILE in.GetChar[] # '\n DO NULL ENDLOOP;
END;

Exists: PUBLIC PROC [n: Node, zeroLenExists: BOOL _ TRUE] RETURNS [exists: BOOL] =
{created: Time; length: INT;
[created, length] м GetInfo[n];
RETURN [(created # notExistTime) AND (zeroLenExists OR length#0)]};

InnerExists: PUBLIC PROC [n: Node, zeroLenExists: BOOL _ TRUE] RETURNS [exists: BOOL] =
{created: Time; length: INT;
[created, length] м InnerGetInfo[n];
RETURN [(created # notExistTime) AND (zeroLenExists OR length#0)]};

FmtTime: PUBLIC PROC [t: Time] RETURNS [asRope: ROPE] = {
asRope м SELECT t FROM
notExistTime => "never",
unknownTime => "unknown",
ENDCASE => Convert.RopeFromTime[from: t, end: seconds, useAMPM: FALSE, includeZone: FALSE];
};

PublicPartsOfNode: PUBLIC PROC [n: Node] RETURNS [name: ROPE, class: NodeClass] = {
RETURN [
name: n.name,
class: n.class];
};

DescribeNode: PUBLIC PROC [n: Node] RETURNS [r: ROPE] = {
SELECT n.class FROM
fileClass => {
r м n.name;
};
ENDCASE => {
r м IO.PutFR["(%g %g)", [refAny[n.class.name]], [refAny[n.name]]];
};
};

PublicPartsOfAction: PUBLIC PROC [a: Action] RETURNS [cmd: ROPE, foundData: REF ANY, class: ActionClass] = {
RETURN [
cmd: a.cmd,
foundData: a.foundData,
class: a.class];
};

DestructivelyReverseActionList: PUBLIC PROC [old: ActionList] RETURNS [new: ActionList] = {
prev: ActionList м NIL;
cur: ActionList м old;
WHILE cur # NIL DO
next: ActionList м cur.rest;
cur.rest м prev;
prev м cur;
cur м next;
ENDLOOP;
new м prev;
};

EnglishList: PUBLIC PROC [nl: NodeList] RETURNS [el: ROPE, ec: CARDINAL] =
BEGIN
twoOfMany: ROPE;
ec м 0;
FOR nl м nl, nl.rest WHILE nl # NIL DO
SELECT ec FROM
=0 => el м nl.first.name;
=1 => {
twoOfMany м nl.first.name.Cat[", and ", el];
el м nl.first.name.Cat[" and ", el];
};
=2 => el м nl.first.name.Cat[", ", twoOfMany];
>2 => el м nl.first.name.Cat[", ", el];
ENDCASE => ERROR;
ec м ec + 1;
ENDLOOP;
END;

IsNode: PUBLIC PROC [ra: REF ANY] RETURNS [BOOL] =
{RETURN [ISTYPE[ra, Node]]};

NarrowToNode: PUBLIC PROC [ra: REF ANY] RETURNS [Node] =
{RETURN[NARROW[ra]]};

IsAction: PUBLIC PROC [ra: REF ANY] RETURNS [BOOL] =
{RETURN [ISTYPE[ra, Action]]};

NarrowToAction: PUBLIC PROC [ra: REF ANY] RETURNS [Action] =
{RETURN[NARROW[ra]]};

IsNodeClass: PUBLIC PROC [ra: REF ANY] RETURNS [BOOL] =
{RETURN [ISTYPE[ra, NodeClass]]};

NarrowToNodeClass: PUBLIC PROC [ra: REF ANY] RETURNS [NodeClass] =
{RETURN[NARROW[ra]]};

UserProfile.CallWhenProfileChanges[NoteProfile];

END. 
   ║  
MakeDoAuxImpl.Mesa
Copyright ╙ 1991 by Xerox Corporation.  All rights reserved.
Mike Spreitzer September 4, 1986 10:56:54 pm PDT
Carl Hauser, April 11, 1985 3:43:34 pm PST
Last tweaked by Mike Spreitzer on October 6, 1992 11:19 am PDT
Eduardo Pelegri-Llopart March 17, 1989 8:40:08 am PST
JKF January 11, 1989 10:29:32 am PST
Willie-s, April 10, 1992 4:34 pm PDT
Michael Plass, November 27, 1991 10:38 am PST
INVARIANT
Job
node table
 Э╩ч  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЩKЪЬ
╧eЬ1Щ<KЪЬ-╧kЩ0KЪЬ'ЮЩ*KЩ>KЪЬ5Щ5KЩ$KЩ$KЩ-ЧKШ ЪЮ	Ш	KЪЬЮЬШKЪЬ
ЮЬШ!KЪЬ
ЮЬШ(KЪЬЮЬШKЪЬЮЬШKЪЬ
ЮЬШ*KЪЮЬШKЪЬЮЬШ*KЪЮЬЮЬKЮЬ	ШbKЪЬЮЬШ$KШKЪЬЮЬpШГKЪЬЮЬШKЪЬЮЬШ.KЪЬШKЪЬШKЪЬЮЬШ%KШKЪЬЮЬ6ШGЧKШ Ъ╤bnxЬЮЬЮШKЪЮЬ6ЮЬ	ЮЬmШ╖KЪЮЬШЪЮ	Щ	KЩKЩ
ЧKЪЬШЧKШ KЪЮЬЮЬШ!KШ KЪЬЮЬШ"KЪЮЬЮЬЮЬШKЪЬ	ЮЬЮЬШ-KЪЬЮЬЮЬШ1KЪЬЮЬЮЬШ7KШ KЪ
╧nЬЮЬЮЬЮЬЮЬШ.KШ KЪЬЮЬЮЬЮЬШKШ KЪЬЮЬШ3KШ KЪЬЮЬ
ЮЬ2ШKKШ KЪЬ(ЮЬШ/KЪЬЮЬ'ШBKЪЬЮЬШ4KШ KЪЬЮЬЮЬШKЪЬЮЬ	ШKШ Ъа	ЬЮЬЮЬЮЬШ=KЪЬЮЬШKЪЬ	ЮЬЮЬЮЬШ(ЪЮЬЮШKЪЬCШCKЪЮЬЮЬЮЬШKЪЬ
ЮЬШ KЪЮЬШЧKЪЬЮЬШ%Ъ	ЮЬЮЬЮ
ЬЮЬЮШ/KЪЬШKШKЪЮЬШЧKЪЮЬЮЬЮЬЮЬШKШЧKШ ЪаЬЮЬЮЬ	ЮЬШ0KЪЬIЮЬШNKЪЬ;Ш;KЪЬШKЪЬ	ЮЬШ"ЧKШ ЪаЬЮЬ+╧c"ЬШbKЪЬЮЬBШSЪаЬЮЬ	ЮЬЮЬЮЬЮЬШ5Ъа	ЬЮЬШЪЬЮЬШ&KЪЬЮЬШKЪЬjШjKЪЬ%Ш%KЪЮЬШЧKЪЮЬЮЬШ!KЪЮЬШЧKЪЮЬЮЬЮЬЮЬШ1KЪЬ+Ш+KЪЮЬШЧЪЮЬ'ЮШ-ЪЮЬЮЬЮЬ ЮЬШAKЪЬЮЬШ KЪЬШKЪЬЮЬШKШЧЧKШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШkKЪЮЬЮЬЮЬШKЪЬЮЬЮЬ	ЮЬЮЬЮЬ
ШUЪ
ЮЬ	ЮЬ$ЮЬЮЬЮЬШJKЪЬЮЬ_ШiKШKЪЮЬЮЬ#ЮЬЮЬШ4KЪЬШЧKЪ	ЮЬЮЬЮЬЮЬЮШKЪЮЬЮЬЮЬЮЬШ&KЪЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬбЬЮЬШaKЪЮЬЮЬШЪаЬЮЬЮЬЮЬЮЬЮЬЮЬбЬШ\KЪЬ
ЮЬШKШKЪЮЬЮЬШЧKЪЮЬЮЬЮЬШ#KЪЮЬЮЬШ!KШЧKШ ЪаЬЮЬЮЬЮЬШ4KЪЮЬЮЬШKЪЬШKШЧKШ ЪаЬЮЬЮЬЮЬШ9KЪЮЬЮЬШKЪЬЮЬШ+KШЧKШ ЪаЬЮЬЮЬЮЬШ5KЪЬШЧKШ Ъ
аЬЮЬЮЬЮЬЮЬШ7KЪЬЮЬЮЬЮЬЮЬЮЬШ-ЧKШ Ъ
аЬЮЬЮЬЮЬЮЬШ<KЪЬШKЪЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬ	ЮЬШTKШKЪЮЬШЧKШ Ъа
ЬЮЬЮЬЮЬЮЬЮЬЮЬШEKЪЮЬШЧKШ Ъа	ЬЮЬЮЬЮЬЮЬЮЬЮЬШ\KЪЬЮЬЮЬЮЬtШЗKЪЬЮЬЮЬ?ШSKЪЬAЮЬШFЪЬЮЬШ8KЪЬЮЬШKШ	KШ	KЪЬЮЬШKЪЬ7ЮЬШ;KШЧЪаЬЮЬШЪЬ,Ш,KШKЪЬШKЪЬШЧKЪЮЬШKЪЬШЧKЪЬ-Ш-KШKЪЮЬШЧKШ KЪЬЮЬШKШ ЪаЬЮЬЮЬЮЬШBKЪЬЮЬ0Ш;KЪЮЬЮЬЮЬЮЬШKШЧKШ KЪЬ
ЮЬЮЬШKШ Ъ
аЬЮЬЮЬЮЬЮЬШGKЪЮШKЪЬЮЬЮЬШ*KЪЮЬ
ЮЬЮЬ#ШGKЪЬЮЬШ)KЪЬШKЪЮЬШЧKШ ЪаЬЮЬЮЬ
ЮЬШ%KЪЮШKЪЬ,Ш,KЪЬЮЬЮЬ	ШKЪЬЮЬЮЬ
ШKЪЬЮЬШ-KЪЮЬЮЬЮЬЮЬШ)KЪЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬ
ЮЬШRKЪЬЮЬШKШKЪЮЬЮЬЮЬШCЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬ
ЮЬШWKЪЬЮЬШKШ$KЪЮЬЮЬЮЬШCЧKШ Ъ
аЬЮЬЮЬЮЬ
ЮЬШ9ЪЬ	ЮЬЮШKЪЬШKЪЬШKЪЮЬ9ЮЬЮЬШ[ЧKШЧKШ Ъ
аЬЮЬЮЬЮЬЮЬШSЪЮЬШKШKШЧKШЧKШ Ъ
аЬЮЬЮЬЮЬЮЬШ9ЪЮЬ	ЮШШKШKШЧЪЮЬШKЪЬЮЬ<ШBKШЧЧKШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬЮЬШlЪЮЬШKШKШKШЧKШЧKШ ЪаЬЮЬЮЬЮЬШ[KЪЬЮЬШKШЪЮЬЮЬЮШKШKШKШKШKЪЮЬШЧKШKШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬШJKЪЮШKЪЬЮЬШKЪЬШЪЮЬЮЬЮЬЮШ&ЪЮЬЮШKЪЬШЪЬШKЪЬ,Ш,KЪЬ$Ш$KЪЬШЧKЪЬ.Ш.KЪЬ'Ш'KЪЮЬЮЬШЧKШKЪЮЬШЧKЪЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬЮЬШ2KЪЬЮЬЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬ	Ш8KЪЬЮЬЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬЮЬШ4KЪЬЮЬЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬШ<KЪЬЮЬЮЬШЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬЮЬШ7KЪЬЮЬЮЬШ!ЧKШ ЪаЬЮЬЮЬЮЬЮЬЮЬШBKЪЬЮЬЮЬШЧKШ KЪЬ0Ш0KШ KЪЮЬ╧lШЧ ЕЧ    !м  0M  