DIRECTORY Commander, DFOperations, FileSets, Graphs, IO, Rope; DFDependencies: CEDAR DEFINITIONS = { ROPE: TYPE = Rope.ROPE; RopeList: TYPE = LIST OF ROPE; FileSet: TYPE = FileSets.FileSet; DependencyGraph: TYPE = Graphs.Graph; Analyze: PROC [dfs: FileSet, filter: FileSets.Filter _ NIL] RETURNS [dg: DependencyGraph]; PrintToFile: PROC [fileName: ROPE, dg: DependencyGraph, wDir: ROPE _ NIL]; Print: PROC [to: IO.STREAM, dg: DependencyGraph, wDir: ROPE _ NIL]; ReadFromFile: PROC [fileName: ROPE, wDir: ROPE _ NIL] RETURNS [dg: DependencyGraph]; Read: PROC [from: IO.STREAM, wDir: ROPE _ NIL] RETURNS [dg: DependencyGraph]; Track: PROC [dg: DependencyGraph, from: ROPE, parent: Commander.Handle, boo: BringOverOp] RETURNS [failures: RopeList]; BringOverOp: TYPE = RECORD [ doBringOver: BOOL, filter: DFOperations.BringOverFilter _ []]; Update: PROC [subject: ROPE, cmd: Commander.Handle, boo: BringOverOp] RETURNS [success: BOOL]; }. dDFDependencies.Mesa Mike Spreitzer August 21, 1986 4:01:14 pm PDT Returns the graph of the dependencies of the DF-files in dfs and the things they depend on that pass the filter. Prints full names, except those that begin with wDir. Updates each (transitive) dependent Bar.DF of the DF-file whose base is from, and returns a list of the dependents that had errors. No transitive dependents of a DF-file that fails gets processed. For subject.DF, executes IF doBringOver THEN Bringover subject.DF MakeDo -dr subject.DF IF changes THEN { SModel subject.DF VerifyDF subject.DF } and succeeds if all succeed. ΚΛ– "cedar" style˜code™K™-—K˜KšΟk œ,œ˜>K˜šΠbxœœ œ˜%K˜Kšœœœ˜Kš œ œœœœ˜Kšœ œ˜!K˜Kšœœ˜%K˜šΟnœœ*œœ˜ZK™p—K˜Kš Ÿ œœ œœœ˜JK˜š Ÿœœœœœœ˜CK™5—K˜Kš Ÿ œœ œœœœ˜TK˜KšŸœœœœœœœ˜MK˜šŸœœœ.œ˜wK™MK™w—K˜šœ œœ˜Kšœ œ˜Kšœ+˜+—K˜š Ÿœœ œ+œ œ˜^™Kšœ(™(K™™K™K™K™——Kšœ™—K˜K˜——…—Άε