Package edu.umd.cs.findbugs.graph

Interface GraphToolkit<GraphType extends Graph<EdgeType,​VertexType>,​EdgeType extends GraphEdge<EdgeType,​VertexType>,​VertexType extends GraphVertex<VertexType>>

  • public interface GraphToolkit<GraphType extends Graph<EdgeType,​VertexType>,​EdgeType extends GraphEdge<EdgeType,​VertexType>,​VertexType extends GraphVertex<VertexType>>
    An interface for creating Graph objects, and for copying auxiliary information in vertices and edges.

    • Method Detail

      • createGraph

        GraphType createGraph()
        Create a new empty graph (no vertices or edges).
        Returns:
        the new graph

      • duplicateVertex

        VertexType duplicateVertex​(VertexType original)
        Make a copy of given vertex.
        Parameters:
        original - the vertex to copy
        Returns:
        an exact duplicate of the vertex

      • copyEdge

        void copyEdge​(EdgeType source,
              EdgeType dest)
        Copy auxiliary information from one edge to another.
        Parameters:
        source - the source edge
        dest - the destination edge