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 Details

    • 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