
    <<DFDependenciesPrivate.Mesa>>
        <<Mike Spreitzer September 27, 1986 1:51:38 am PDT>>

    DIRECTORY Asserting, DFDependencies, FileSets, Graphs, HashTable, IO, Rope;

    DFDependenciesPrivate: CEDAR DEFINITIONS = {OPEN DFDependencies;

        Graph: TYPE = Graphs.Graph;

        DependencyGraphRep: TYPE = REF DependencyGraphRepPrivate;
        DependencyGraphRepPrivate: TYPE = RECORD [
            verticesByBase: HashTable.Table,
            other: Asserting.Assertions _ NIL
            ];

        GraphVertexList: TYPE = LIST OF Graphs.Vertex;
        DGVertexList: TYPE = LIST OF DGVertex;
        DGVertex: TYPE = REF DGVertexPrivate;
        DGVertexPrivate: TYPE = RECORD [
            naming: Naming,
            dependents: DependentList _ NIL,
            providers: ProviderList _ NIL,
            avoid, tried, failed: BOOL _ FALSE,
            other: Asserting.Assertions _ NIL
            ];

        Naming: TYPE = RECORD [long, base: ROPE];
        notRanked: INT = FIRST[INT];

        DependentList: TYPE = DGVertexList;
        ProviderList: TYPE = DGVertexList;

        }.