DIRECTORY
BasicTime USING [GMT, Period],
FileNames USING [GetShortName],
FS USING [ComponentPositions, Error, ExpandName, FileInfo, StreamOpen],
IO USING [EndOfStream, GetLineRope, GetTokenRope, IDProc, PutFR, RIS, STREAM],
MakeDo USING [ActionClass, ActionClassRep, ActionDep, AddFinder, ConsistencyChecker, fileClass, FinderProc, From, GetNode, InnerEnumerateSources, InnerGetCreated, Node, notExistTime, PublicPartsOfAction, PublicPartsOfNode, RederiveProc, Time],
Rope USING [Cat, Concat, Fetch, Length, Match, ROPE, Substr],
SummonerLoadDeps USING [],
SymTab USING [Create, EachPairAction, Pairs, Ref, Store],
VersionMap USING [MapAndNameList, MapList, ShortNameToNames],
VersionMapDefaults USING [GetMapList];

SummonerLoadDepsImpl: CEDAR PROGRAM
IMPORTS BasicTime, FileNames, FS, IO, MakeDo, Rope, SymTab, VersionMap, VersionMapDefaults
EXPORTS SummonerLoadDeps
~ BEGIN OPEN SummonerLoadDeps;

ROPE: TYPE = Rope.ROPE;
SummonerLoadData: TYPE ~ RECORD [
summonerInstallFile, summonerInstallRoot: ROPE
];
summonerLoadClass: MakeDo.ActionClass _ NEW[MakeDo.ActionClassRep _ [
CheckConsistency: CheckSummonerLoadConsistency,
Rederive: RederiveSummonerLoad
]];
SummonerLoadFind: MakeDo.FinderProc = {
summonerLoadData: REF SummonerLoadData;
summonerInstallName: ROPE;
cp: FS.ComponentPositions;

IF ~ Rope.Match[pattern: "*.summonerLoad", object: resultName, case: FALSE] THEN GOTO Fail;	--This is all we know how to build
[resultName, cp,] _ FS.ExpandName[name: resultName ! FS.Error => GOTO Fail];
summonerInstallName _ WithoutVersion[FS.FileInfo[name: Rope.Substr[base: resultName, len: cp.base.start+cp.base.length].Concat[".summonerInstall"] ! FS.Error => GOTO Fail].fullFName];
foundData _ summonerLoadData _ NEW[SummonerLoadData _ [
summonerInstallFile: summonerInstallName,
summonerInstallRoot: Rope.Substr[base: resultName, start: cp.base.start, len: cp.base.length]
]];
from _ DeriveFrom[summonerLoadData];
cmdFrom _ LIST[MakeDo.GetNode[someName: summonerInstallName, class: MakeDo.fileClass]];
makes _ LIST[sought _ MakeDo.GetNode[someName: resultName, class: MakeDo.fileClass]];
cmd _ DeriveCmd[summonerLoadData];
class _ summonerLoadClass;
found _ TRUE;
EXITS Fail => {
found _ FALSE;
sought _ NIL;
};
};
WithoutVersion: PROC [with: ROPE] RETURNS [without: ROPE] ~ {
cp: FS.ComponentPositions;
[fullFName: without, cp: cp] _ FS.ExpandName[name: with];
without _ Rope.Substr[base: without, len: cp.ext.start+cp.ext.length];
};
DeriveCmd: PROC [summonerLoadData: REF SummonerLoadData] RETURNS [cmd: ROPE] ~ {
RETURN [Rope.Cat["RederiveSummonerLoad ", summonerLoadData.summonerInstallRoot]];
};
DeriveFrom: PROC [summonerLoadData: REF SummonerLoadData] RETURNS [from: MakeDo.From] ~ {
PutFilesInFromList: SymTab.EachPairAction = {
from.mustHave _ CONS[MakeDo.GetNode[someName: key, class: MakeDo.fileClass], from.mustHave];
RETURN [FALSE]
};
Install: PROC [module, file: ROPE] ~ {
[] _ SymTab.Store[x: x, key: file, val: NIL];
};
s: IO.STREAM _ FS.StreamOpen[fileName: summonerLoadData.summonerInstallFile];
x: SymTab.Ref ~ SymTab.Create[case: FALSE];
from _ [mustHave: LIST[MakeDo.GetNode[someName: FS.ExpandName[name: summonerLoadData.summonerInstallFile].fullFName, class: MakeDo.fileClass]], optional: NIL];
RecurseThroughInstall[file: summonerLoadData.summonerInstallFile, install: Install, run: NIL, other: NIL, recurseVMap: FALSE ! CantFind => {Install[module: module, file: FileNames.GetShortName[path: full]]; RESUME}];
[] _ SymTab.Pairs[x: x, action: PutFilesInFromList];
};
ForceConsistencyReturn: ERROR [setConsistent: BOOL, setReason: ROPE] ~ CODE;
CheckSummonerLoadConsistency: MakeDo.ConsistencyChecker = {
ingredientFound: BOOL _ FALSE;
PerIngredient: PROC [n: MakeDo.Node, which: MakeDo.ActionDep, optional: BOOL] ~ {
nodeTime: BasicTime.GMT _ MakeDo.InnerGetCreated[n];
IF nodeTime = MakeDo.notExistTime THEN RETURN;
ingredientFound _ TRUE;
IF resultExists AND BasicTime.Period[from: nodeTime, to: resultTime] < 0 THEN ERROR ForceConsistencyReturn[setConsistent: FALSE, setReason: IO.PutFR[format: "result %g (of %g) predates ingredient %g (of %g)", v1: [rope[resultName]], v2: [time[resultTime]], v3: [rope[MakeDo.PublicPartsOfNode[n: n].name]], v4: [time[nodeTime]] ]];
RETURN};
summonerLoadData: REF SummonerLoadData ~ NARROW[MakeDo.PublicPartsOfAction[a].foundData];
resultTime: MakeDo.Time = result.InnerGetCreated[];
resultName: ROPE = MakeDo.PublicPartsOfNode[n: result].name;
resultExists: BOOL ~ resultTime # MakeDo.notExistTime;
MakeDo.InnerEnumerateSources[a: a, which: data, to: PerIngredient ! ForceConsistencyReturn => {
consistent _ setConsistent;
reason _ setReason;
GOTO Exit;
}];
IF NOT ingredientFound THEN RETURN [TRUE, "no inputs exist to indicate inconsistency"];
IF NOT resultExists THEN RETURN [FALSE, "some inputs but no output exist"];
RETURN [consistent: TRUE, reason: "result dated later than any existing ingredient"];
EXITS Exit => a _ a;
};
RederiveSummonerLoad: MakeDo.RederiveProc = {
summonerLoadData: REF SummonerLoadData ~ NARROW[MakeDo.PublicPartsOfAction[a].foundData];
from _ DeriveFrom[summonerLoadData];
cmd _ DeriveCmd[summonerLoadData];
};
CantFind: PUBLIC SIGNAL [module, full: ROPE] ~ CODE;	--Called by RecurseThroughInstall when it has to resort to a version map
RecurseThroughInstall: PUBLIC PROC [file: ROPE, install: PROC [module, file: ROPE], run: PROC [package: ROPE], other: PROC [line: ROPE], checkVMap, recurseVMap: BOOL _ TRUE] ~ {
stream: IO.STREAM ~ FS.StreamOpen[fileName: file];
DO
line: ROPE ~ IO.GetLineRope[stream ! IO.EndOfStream => EXIT];
SELECT TRUE FROM
Rope.Match[pattern: "install *", object: line, case: FALSE] => {
s: IO.STREAM ~ IO.RIS[rope: line];
word: ROPE _ IO.GetTokenRope[stream: s, breakProc: IO.IDProc].token;
DO
attemptRecurse: BOOL _ TRUE;
TryLocalDirectory: PROC [name: ROPE] RETURNS [succeeded: BOOL] ~ {
file _ FS.FileInfo[name: name ! FS.Error => {file _ NIL; CONTINUE}].fullFName;
RETURN [file#NIL]
};
TryVersionMap: PROC [name: ROPE] RETURNS [succeeded: BOOL] ~ {
IF ~checkVMap THEN RETURN [FALSE]
ELSE {
map: VersionMap.MapList ~ VersionMapDefaults.GetMapList[which: $Source];
manl: VersionMap.MapAndNameList ~ VersionMap.ShortNameToNames[list: map, shortName: name];
FOR each: VersionMap.MapAndNameList _ manl, each.rest UNTIL each=NIL DO
file _ FS.FileInfo[name: each.first.name ! FS.Error => LOOP].fullFName;
SIGNAL CantFind[word, each.first.name];
attemptRecurse _ recurseVMap;
RETURN [TRUE];
ENDLOOP;
RETURN [FALSE];
};
};
file: ROPE _ NIL;
word _ IO.GetTokenRope[stream: s, breakProc: IO.IDProc ! IO.EndOfStream => EXIT].token;
SELECT TRUE FROM
TryLocalDirectory[Rope.Cat[word, ".load"]] => {};
TryLocalDirectory[Rope.Cat["Load", word, ".cm"]] => {};
TryVersionMap[Rope.Cat[word, ".load"]] => {};
TryVersionMap[Rope.Cat["Load", word, ".cm"]] => {};
ENDCASE => {
short: ROPE ~ Rope.Cat[word, ".load"];
SIGNAL CantFind[module: word, full: FS.ExpandName[short].fullFName];
};
IF ~ Rope.Fetch[base: word]='- AND install#NIL THEN install[module: word, file: file];
IF file#NIL AND attemptRecurse THEN RecurseThroughInstall[file: file, install: install, run: run, other: other, checkVMap: checkVMap, recurseVMap: recurseVMap];
ENDLOOP;
};
Rope.Match[pattern: "run *", object: line, case: FALSE] => {
s: IO.STREAM ~ IO.RIS[rope: line];
word: ROPE _ IO.GetTokenRope[stream: s, breakProc: IO.IDProc].token;
DO
word _ IO.GetTokenRope[stream: s, breakProc: IO.IDProc ! IO.EndOfStream => EXIT].token;
IF ~ Rope.Fetch[base: word]='- AND run#NIL THEN run[word];
ENDLOOP;
};
ENDCASE => {
IF line.Length[] > 0 AND other#NIL THEN other[line];
};
ENDLOOP;
};
MakeDo.AddFinder[finder: [name: "SummonerLoad", finderProc: SummonerLoadFind], end: front];

END.
    
SummonerLoadDepsImpl.mesa
Copyright c 1986 by Xerox Corporation.  All rights reserved.
Eric Nickell, September 30, 1986 4:22:14 pm PDT
Mike Spreitzer February 9, 1987 2:37:09 pm PST
JKF January 11, 1989 10:20:44 am PST
Last tweaked by Mike Spreitzer on October 26, 1989 11:41:15 am PDT

[resultName: ROPE, finderData: REF ANY] RETURNS [found: BOOLEAN, sought: MakeDo.Node, makes: MakeDo.NodeList, cmdFrom: MakeDo.NodeList, from: MakeDo.From, cmd: ROPE, class: MakeDo.ActionClass, foundData: REF ANY]
[key: SymTab.Key, val: SymTab.Val] RETURNS [quit: BOOL]
from.mustHave _ CONS[MakeDo.GetNode[someName: file, class: MakeDo.fileClass], from.mustHave];
[a: MakeDo.Action, result: MakeDo.Node] RETURNS [consistent: BOOL, reason: ROPE]
[a: MakeDo.Action] RETURNS [from: MakeDo.From, cmd: ROPE]
‌ت£  •NewlineDelimiter
™ ™Icodeڑœ
دmœ1™<Kڑœ,دk™/Kڑœ+‍™.K™$K™BK™ —ڑ‍	ک	Jڑœ
‍œ‍œ
کJڑœ
‍œکJڑ‍œ‍œ?کGJڑ‍œ‍œ9‍œ‍œکNJڑœ‍œçکَJڑœ‍œ%‍œ
ک=Jڑœ‍œکJڑœ‍œ-ک9Jڑœ‍œ-ک=Jڑœ‍œک&—Kک Kڑذlnœ‍œ‍ک#Kڑ‍œ‍œ‍œ6کZKڑ‍œکڑœ‍œ‍œکKک Kڑ‍œ‍œ‍œکڑœ‍œ‍œک!Kڑœ*‍ک.Kڑœک—code2ڑœ(‍œکELڑدnœک/Lڑ œکLڑœک—ڑذbnœک'Lڑœ‍œ‍œ‍œ‍œ	‍œa‍œ(‍œ‍œ™شLڑœ‍œک'Lڑœ‍œکLڑœ‍œکLک K•StartOfExpansion6[pattern: ROPE, object: ROPE, case: BOOL _ TRUE]ڑ	‍œC‍œ‍œ‍œدc"ک~Lڑœ‍œ‍œ
‍œکLL–b[name: ROPE, wantedCreatedTime: GMT _ nullGMT, remoteCheck: BOOL _ TRUE, wDir: ROPE _ NIL]ڑœ%‍œn‍œ
‍œک·ڑœ‍œک7Lڑœ)ک)L–9[base: ROPE, start: INT _ 0, len: INT _ 2147483647]ک]Lڑœک—Lک$L–D[someName: ROPE, class: MakeDo.NodeClass, mayAdd: BOOL _ TRUE]ڑœ
‍œIکWL–D[someName: ROPE, class: MakeDo.NodeClass, mayAdd: BOOL _ TRUE]ڑœ‍œIکULک"LکLڑœ‍œکڑ‍œ
کKڑœ‍œکKڑœ	‍œکKڑœک—Lک—ڑ
 œ‍œ‍œ‍œ‍œک=Kڑœ‍œکK–"[name: ROPE, wDir: ROPE _ NIL]ڑœ‍œک9K–9[base: ROPE, start: INT _ 0, len: INT _ 2147483647]ڑœFکFKک—ڑ
 	œ‍œ‍œ‍œ‍œکPKڑ‍œKکQKک—ڑ 
œ‍œ‍œ‍œکY–; -- [key: SymTab.Key, val: SymTab.Val] RETURNS [quit: BOOL]ڑ œک-Kڑœ#‍œ‍œ™7Kڑœ‍œHک\Kڑ‍œ‍œکKک—ڑ œ‍œ‍œک&K–7[x: SymTab.Ref, key: SymTab.Key, val: SymTab.Val]ڑœ(‍œک-Kڑœ‍œI™]Kک—Kڑœ‍œ‍œ‍œ<کMK–8[mod: SymTab.SeqIndex _ 21B (17), case: BOOL _ TRUE]ڑœ$‍œک+K–"[name: ROPE, wDir: ROPE _ NIL]ڑœ‍œ‍œh‍œکںK–4[path: ROPE, stripOffVersionNumber: BOOL _ TRUE]ڑ	œY‍œ	‍œ‍œS‍œکطK–2[x: SymTab.Ref, action: SymTab.EachPairAction]ک4Kک—L–T -- [a: MakeDo.Action, result: MakeDo.Node] RETURNS [consistent: BOOL, reason: ROPE]ڑ
 œ‍œ‍œ‍œ‍œکLڑ،œک;Lڑœ(‍œ‍œ
‍œ™PLڑœ‍œ‍œکڑذntœ‍œ5‍œکQK–[n: MakeDo.Node]ڑœ‍œک4Kڑ‍œ ‍œ‍œک.Kڑœ‍œکKڑ‍œ‍œ6‍œ‍œ'‍œ‍œ¼کتKڑ‍œک—Lڑœ‍œ‍œ*کYKڑœ3ک3K–[n: MakeDo.Node]ڑœ‍œ,ک<Kڑœ‍œ$ک6–A[a: MakeDo.Action, which: MakeDo.ActionDep, to: PROC [...]]ڑدt_ک_KکKکKڑ‍œک
Kڑœ¤ک—Kڑ
‍œ‍œ‍œ‍œ‍œ/کWKڑ
‍œ‍œ‍œ‍œ‍œ%کKKڑ‍œ‍œ=کULڑ‍œکLک—–= -- [a: MakeDo.Action] RETURNS [from: MakeDo.From, cmd: ROPE]ڑ،œک-Lڑœ‍œ‍œ™9Lڑœ‍œ‍œ*کYLک$Lک"Lک—L–L -- [cmd: Commander.Handle] RETURNS [result: REF ANY _ NIL, msg: ROPE _ NIL]ڑ œ‍œ‍œ‍œ‍œ¢Hک}ڑ œ‍œ‍œ‍œ‍œ‍œ‍œ‍œ
‍œ‍œ‍œ‍œک±K–“[fileName: ROPE, accessOptions: FS.AccessOptions _ read, streamOptions: FS.StreamOptions _ (5)[TRUE, TRUE, TRUE, TRUE, TRUE], keep: CARDINAL _ 1B (1), createByteCount: FS.ByteCount _ 2560, streamBufferParms: FS.StreamBufferParms _ [vmPagesPerBuffer: 8, nBuffers: 2], extendFileProc: FS.ExtendFileProc, wantedCreatedTime: GMT _ nullGMT, remoteCheck: BOOL _ TRUE, wDir: ROPE _ NIL]ڑœ‍œ‍œ‍œک2ڑ‍کK–[stream: STREAM]ڑ	œ‍œ‍œ‍œ‍œک=ڑ‍œ‍œ‍ک–6[pattern: ROPE, object: ROPE, case: BOOL _ TRUE]ڑœ¤
œ‍œک@K–)[rope: ROPE, oldStream: STREAM _ NIL]ڑ	œ‍œ‍œ‍œ‍œک"K–-[stream: STREAM, breakProc: IO.BreakProc]ڑœ‍œ‍œ$‍œکDڑ‍کKڑœ‍œ‍œکڑ
 œ‍œ‍œ‍œ‍œکBKڑ	œ‍œ‍œ‍œ‍œکNKڑ‍œ‍œکKک—ڑ
 œ‍œ‍œ‍œ‍œک>K–*[which: VersionMapDefaults.WhichMapList]ڑ‍œ‍œ‍œ‍œک!ڑ‍œکKکHK–/[list: VersionMap.MapList, shortName: ROPE]کZڑ‍œ3‍œ‍œ‍کGK–b[name: ROPE, wantedCreatedTime: GMT _ nullGMT, remoteCheck: BOOL _ TRUE, wDir: ROPE _ NIL]ڑœ‍œ"‍œ
‍œکGKڑ‍œ!ک'KڑœکKڑ‍œ‍œکKڑ‍œک—Kڑ‍œ‍œکKڑœک—Kک—Kڑœ‍œ‍œکK–-[stream: STREAM, breakProc: IO.BreakProc]ڑ	œ‍œ$‍œ
‍œ‍œکW–b[name: ROPE, wantedCreatedTime: GMT _ nullGMT, remoteCheck: BOOL _ TRUE, wDir: ROPE _ NIL]ڑ‍œ‍œ‍کKڑœ1ک1Kڑœ7ک7Kڑœ-ک-Kڑœ3ک3ڑ‍œکKڑœ‍œک&K–"[name: ROPE, wDir: ROPE _ NIL]ڑ‍œ‍œکDKڑœک——K– [base: ROPE, index: INT _ 0]ڑ‍œ‍œ	‍œ‍œ#کVKڑ‍œ‍œ‍œ‍œ}ک Kڑ‍œک—Kڑœک—–6[pattern: ROPE, object: ROPE, case: BOOL _ TRUE]ڑœ¤œ‍œک<K–)[rope: ROPE, oldStream: STREAM _ NIL]ڑ	œ‍œ‍œ‍œ‍œک"K–-[stream: STREAM, breakProc: IO.BreakProc]ڑœ‍œ‍œ$‍œکDڑ‍کK–-[stream: STREAM, breakProc: IO.BreakProc]ڑ	œ‍œ$‍œ
‍œ‍œکWK– [base: ROPE, index: INT _ 0]ڑ‍œ‍œ‍œ‍œک:Kڑ‍œک—Kڑœک—ڑ‍œکKڑ‍œ‍œ‍œ‍œک4Kڑœک——Kڑ‍œک—Kک—Lڑœ[ک[—Kک Kڑ‍œک— …—    î  2­  