DIRECTORY Atom, Rope, IO, CommanderOps, Commander, MobOrder, FS;


MobOrderCommands: CEDAR PROGRAM
IMPORTS Atom, Rope, IO, CommanderOps, Commander, MobOrder, FS
~ BEGIN OPEN MobOrder;

ROPE: TYPE = Rope.ROPE;

usageOrder: ROPE = "Deduce a load order from DFs and Mobs: MobOrder <DFName> ... -g <goal> ... -i <importer-goal> ... -x \"<exclusion-pattern>\"";

usageDependents: ROPE = "Deduce a dependents order from DFs and Mobs: MobDependents <DFName> ... -g <goal> ... ";

ExpandStars: PROC [list: LIST OF ROPE] RETURNS [LIST OF ROPE] = {
head: LIST OF ROPE м LIST[NIL];
last: LIST OF ROPE м head;
AddNamePattern: PROC [pattern: ROPE] = {
something: BOOL м FALSE;
EachName: FS.NameProc = {
something м TRUE;
last м last.rest м LIST[fullFName];
continue м TRUE;
};
FS.EnumerateForNames[pattern: pattern, proc: EachName];
IF NOT something THEN ERROR FS.Error[error: [user, $nomatch, IO.PutFR1["\"%g\" matches no files.", [rope[pattern]]]]];
};
FOR tail: LIST OF ROPE м list, tail.rest UNTIL tail = NIL DO
AddNamePattern[tail.first];
ENDLOOP;
RETURN [head.rest];
};

Command: Commander.CommandProc = {
goals: LIST OF ROPE м CommanderOps.ParseToList[cmd: cmd].list;
dfNames: LIST OF ROPE м ExpandStars[GetDFNames[]];
GetDFNames: PROC RETURNS [dfNames: LIST OF ROPE] = {
prev: LIST OF ROPE м NIL;
dfNames м goals;
WHILE goals # NIL DO
IF Rope.Equal[s1: "-g", s2: goals.first, case: FALSE] THEN {
IF prev # NIL THEN prev.rest м NIL;
goals м goals.rest;
EXIT;
};
prev м goals;
goals м goals.rest;
ENDLOOP;
};
ans: LIST OF LIST OF ATOM м NIL;
IF dfNames = NIL OR goals = NIL THEN RETURN [result: $Failure, msg: cmd.procData.doc];
BEGIN ENABLE
{
MobOrder.BoundProgramNotKnown => {
IO.PutF[cmd.err, "-- Correct version of %g not in %g\n", [rope[Atom.GetPName[program.identifier]]], [rope[Atom.GetPName[configuration.identifier]]]];
RESUME;
};
MobOrder.BogusMob => {
IO.PutF1[cmd.err, "-- Mob error: %g\n", [rope[msg]]];
RESUME;
};
MobOrder.GoalNotFound => {
IO.PutF1[cmd.err, "-- Goal not found: %g\n", [rope[rope]]];
RESUME;
};
MobOrder.DuplicateExports => {
IO.PutF[cmd.err, "--  Duplicate exports to %g (%g)\n", [rope[Atom.GetPName[interfaceID.identifier]]], [rope[Atom.GetPName[moduleID.identifier]]]];
RESUME;
};
MobOrder.IncorrectVersionNumberInDF => {
IO.PutF[cmd.err, "--  Bad file version number %g => %g\n", [rope[fullFName]], [rope[Rope.Substr[realName, Rope.Index[s1: realName, s2: "!"]]]]];
RESUME;
};
};
SELECT cmd.procData.clientData FROM
$MobOrder => ans м MakeLoadList[dfNames: dfNames, goals: goals];
$MobDependents => {
modules: LIST OF ATOM;
dependentDFNames: LIST OF ROPE;
[modules: modules, dependentDFNames: dependentDFNames] м MakeDependentsList[dfNames: dfNames, roots: goals];
FOR tail: LIST OF ROPE м dependentDFNames, tail.rest UNTIL tail = NIL DO
IO.PutRope[cmd.out, tail.first];
IF tail.rest # NIL THEN IO.PutRope[cmd.out, " "];
ENDLOOP;
IO.PutRope[cmd.out, "\n"];
ans м LIST[modules];
};
ENDCASE => ERROR;
END;
FOR tail: LIST OF LIST OF ATOM м ans, tail.rest UNTIL tail = NIL DO
FOR a: LIST OF ATOM м tail.first, a.rest UNTIL a = NIL DO
id: ROPE = Atom.GetPName[a.first];
IO.PutRope[cmd.out, Rope.Substr[base: id, len: Rope.Index[s1: id, s2: "."]]];
IF a.rest # NIL THEN IO.PutRope[cmd.out, " "];
ENDLOOP;
IF tail.rest # NIL THEN IO.PutRope[cmd.out, "\t"];
ENDLOOP;
};

Commander.Register[key: "MobOrder", proc: Command, doc: usageOrder, clientData: $MobOrder];
Commander.Register[key: "MobDependents", proc: Command, doc: usageDependents, clientData: $MobDependents];

END.
  Z  
MobOrderCommands.mesa
Copyright ╙ 1989, 1990, 1991 by Xerox Corporation.  All rights reserved.
Michael Plass, December 2, 1991 1:56 pm PST
Willie-s, March 22, 1991 1:10 pm PST

ExpandImportGoals: PROC [connections: LIST OF MobConnections, goals: LIST OF ROPE] RETURNS [LIST OF ROPE] = {
head: LIST OF ROPE _ LIST[NIL];
last: LIST OF ROPE _ head;
UNTIL goals = NIL DO
IF Rope.Match[pattern: "-i*", object: goals.first, case: FALSE]
THEN {
goals _ goals.rest;
IF goals # NIL THEN {
last.rest _ FindImportGoals[connections, LIST[Atom.MakeAtom[goals.first]]];
UNTIL last.rest = NIL DO last _ last.rest ENDLOOP;
};
}
ELSE {
last _ last.rest _ LIST[goals.first];
};
goals _ goals.rest;
ENDLOOP;
RETURN [head.rest]
};

MakeLoadListWithImportGoals: PROC [dfNames: LIST OF ROPE, goals: LIST OF ROPE] RETURNS [LIST OF LIST OF ATOM] = {
connections: LIST OF MobConnections = GetMobsViaDFs[dfNames];
realGoals: LIST OF ROPE = ExpandImportGoals[connections, goals];
withGoals: LIST OF MobConnections = MarkGoals[connections, realGoals];
sorted: LIST OF LIST OF MobConnections = TopoSortConnections[withGoals];
namesOnly: LIST OF LIST OF ATOM = ExtractNames[sorted];
RETURN [namesOnly]
};

[fullFName: ROPE] RETURNS [continue: BOOL]
RETURN [list] -- no star patterns here, for now.
[cmd: Commander.Handle] RETURNS [result: REF ANY _ NIL, msg: ROPE _ NIL]
side-effect on goals
 Э╩	  Ц(cedarcode) styleХNewlineDelimiter
Щ ЪЬЩIcodeЪЬ
╧eЬ=ЩHKЩ+KЩ$KЩ ЧЪ╧k	ЬЮЬ%ЮЬШ@KШ ЧKШ KЪ╧nЬЮШKЪЮЬ4ЮШ=ЪЬЮЬЮЬ
ШKШ ХStartOfExpansionL -- [cmd: Commander.Handle] RETURNS [result: REF ANY _ NIL, msg: ROPE _ NIL]ЪЮЬЮЬЮЬШKШ ЧЪЬЮЬВШТKШ ЧЪЬЮЬ\ШqKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЩmKЪЬЮЬЮЬЮЬЮЬЮЬЩKЪЬЮЬЮЬЮЬЩЪЮЬ	ЮЬЮЩЦ6[pattern: ROPE, object: ROPE, case: BOOL _ TRUE]ЪЮЬ7ЮЬЩ?ЪЮЬЩKЪЬЩЪЮЬ	ЮЬЮЬЩKЪЬ)ЮЬЩKKЪЮЬЮЬЮЬЮЬЩ2KЪЬЩЧKЪЬЩЧЪЮЬЩKЪЬЮЬЩ%KЪЬЩЧЧKЪЬЩKЪЮЬЩЧKЪЮЬЩKЪЬЩKЩ ЧЪЯЬЮЬЮЬЮЬЮЬ	ЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЩqKЪЬЮЬЮЬ)Щ=KЪЬЮЬЮЬЮЬ)Щ@KЪЬЮЬЮЬ4ЩFKЪ	ЬЮЬЮЬЮЬЮЬ1ЩHKЪЬЮЬЮЬЮЬЮЬЮЬЩ7KЪЮЬЩKЩKЩ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШAKЪЬЮЬЮЬЮЬЮЬЮЬШKЪЬЮЬЮЬЮЬШЦ. -- [fullFName: ROPE] RETURNS [continue: BOOL]ЪЯЬЮЬЮЬШ(KЪЬЮЬЮЬШЪЯЬЮЬШKЪЬ*Щ*KЪЬЮЬШKЪЬЮЬШ#KЪЬЮЬШKЪЬШЧKЪЮЬ5Ш7KЦ[error: FS.ErrorDesc]ЪЮЬЮЬЮЬЮЬЮЬЮЬ7ШvKЪЬШЧЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ<KЪЬШKЪЮЬШЧKЪЮЬШKЪЮЬ╧c"Щ0KЪЬШKШ ЧЪЯЬШ"KЪ╨ckHЩHKЦI[cmd: Commander.Handle, starExpand: BOOL _ FALSE, switchChar: CHAR]ЪЬЮЬЮЬЮЬ+Ш>KЪЬ	ЮЬЮЬЮЬШ2ЪЯ
ЬЮЬЮЬЮЬЮЬЮЬШ4KЪЬЩKЪ	ЬЮЬЮЬЮЬЮЬШKШЪЮЬ	ЮЬЮШЦ-[s1: ROPE, s2: ROPE, case: BOOL _ TRUE]ЪЮЬ-ЮЬЮЬШ<KЪЮЬЮЬЮЬЮЬШ#KШKЪЮЬШKЪЬШЧKШKШKЪЮЬШЧKЪЬШЧKЪЬЮЬЮЬЮЬЮЬЮЬЮЬШ KЪЮЬЮЬЮЬ	ЮЬЮЬЮЬ+ШVЪЮЬЮШЪЬШШ"KЪЮЬУШХKЪЮЬШKШЧЪЬШKЪЮЬ3Ш5KЪЮЬШKШЧЪЬШKЪЮЬ9Ш;KЪЮЬШKШЧШKЪЮЬРШТKЪЮЬШKШЧШ(KЦ>[s1: ROPE, pos1: INT _ 0, s2: ROPE, case: BOOL _ TRUE]ЪЮЬОШРKЪЮЬШKШЧKЪЬШЧЪЮЬЮШ#KШ@ЪЬШKЪЬ	ЮЬЮЬЮЬШKЪЬЮЬЮЬЮЬШKШlЪЮЬЮЬЮЬЮЬЮЬЮЬЮШHKЦ>[s1: ROPE, pos1: INT _ 0, s2: ROPE, case: BOOL _ TRUE]ЪЮЬШ KЪЮЬЮЬЮЬЮЬШ1KЪЮЬШЧKЪЮЬШKЪЬЮЬ
ШKЪЬШЧKЪЮЬЮЬШЧKЪЮЬШЧЪЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮШCЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ9KЪЬЮЬШ"KЦ>[s1: ROPE, pos1: INT _ 0, s2: ROPE, case: BOOL _ TRUE]ЪЮЬKШMKЪЮЬ
ЮЬЮЬЮЬШ.KЪЮЬШЧKЪЮЬЮЬЮЬЮЬШ2KЪЮЬШЧKШKШ ЧKЪЬ[Ш[KЪЬjШjЧKШ KЪЮЬШЧ ЕЧ    и    