<> <> DIRECTORY DFDependencies, FileSets, HashTable, IO, Rope; DFDependenciesPrivate: CEDAR DEFINITIONS = {OPEN DFDependencies; DependencyGraph: TYPE = REF DependencyGraphPrivate; DependencyGraphPrivate: TYPE = RECORD [ verticesByBase: HashTable.Table ]; VertexList: TYPE = LIST OF Vertex; Vertex: TYPE = REF VertexPrivate; VertexPrivate: TYPE = RECORD [ naming: Naming, dependents: DependentList _ NIL, providers: ProviderList _ NIL, rank: INT _ notRanked, <> avoid, tried, failed: BOOL _ FALSE ]; Naming: TYPE = RECORD [long, base: ROPE]; notRanked: INT = FIRST[INT]; DependentList: TYPE = VertexList; ProviderList: TYPE = VertexList; }.