Class DirectedAcyclicGraphVerifier

java.lang.Object
org.apache.myfaces.config.util.DirectedAcyclicGraphVerifier

public class DirectedAcyclicGraphVerifier extends Object
DirectedAcyclicGraphVerifier provides methods to verify that any set of vertices has no cycles. A Directed Acyclic Graph is a "graph" or set of vertices where all connections between each vertex goes in a particular direction and there are no cycles or loops. It is used to track dependencies and ansure that dependencies can be loaded and unloaded in the proper order.
Version:
CVS $ Revision: 1.1 $
Author:
Avalon Development Team
  • Constructor Details

    • DirectedAcyclicGraphVerifier

      public DirectedAcyclicGraphVerifier()
  • Method Details

    • verify

      public static <T> void verify(Vertex<T> vertex) throws CyclicDependencyException
      Verify that a vertex and its set of dependencies have no cycles.
      Parameters:
      vertex - The vertex we want to test.
      Throws:
      CyclicDependencyException - if there is a cycle.
    • verify

      public static <T> void verify(List<Vertex<T>> vertices) throws CyclicDependencyException
      Verify a set of vertices and all their dependencies have no cycles. All Vertices in the graph must exist in the list.
      Parameters:
      vertices - The list of vertices we want to test.
      Throws:
      CyclicDependencyException - if there is a cycle.
    • topologicalSort

      public static <T> void topologicalSort(List<Vertex<T>> vertices) throws CyclicDependencyException
      Sort a set of vertices so that no dependency is before its vertex. If we have a vertex named "Parent" and one named "Child" that is listed as a dependency of "Parent", we want to ensure that "Child" always comes after "Parent". As long as there are no cycles in the list, we can sort any number of vertices that may or may not be related. Both "Parent" and "Child" must exist in the vertices list, but "Child" will also be referenced as a dependency of "Parent".

      Implementation Detail: This particular algorithm is a more efficient variation of the typical Topological Sort algorithm. It uses a Queue (Linked List) to ensure that each edge (connection between two vertices) or vertex is checked only once. The efficiency is O = (|V| + |E|).

      Parameters:
      vertices -
      Throws:
      CyclicDependencyException
    • resetVertices

      public static <T> void resetVertices(List<Vertex<T>> vertices)
      Resets all the vertices so that the visitation flags and indegrees are reset to their start values.
      Parameters:
      vertices -
    • findVertex

      public static <T> int findVertex(List<Vertex<T>> vertexList, String name)