/// <summary>
/// Get adjacency graph from input graph
/// </summary>
/// <param name="graph">GraphMapData</param>
/// <returns>AdjacencyGraph</returns>
public static AdjacencyGraph<string, Edge<string>> GetAdjacencyGraph(GraphMapData graph)
{
ICollection<NodeMapData> nodes = graph.GetNodes();
AdjacencyGraph<string, Edge<string>> adjacencyGraph = new AdjacencyGraph<string, Edge<string>>(true, nodes.Count);
foreach (NodeMapData node in nodes)
{
adjacencyGraph.AddVertex(node.Id);
}
foreach (EdgeMapData edge in graph.GetEdges())
{
Edge<string> quickGraphEdge = new Edge<string>(edge.Source, edge.Target);
adjacencyGraph.AddEdge(quickGraphEdge);
}
return adjacencyGraph;
}
/// <summary>
/// Gets the type of the specified edge
/// </summary>
/// <param name="edge">the edge</param>
/// <returns>the edge type</returns>
public static EdgeTypes GetEdgeType(Edge<string> edge)
{
return EdgeTypes.Hierarchical;
}
public void TargetGet <TVertex>([PexAssumeUnderTest] Edge <TVertex> target)
{
// TODO: add assertions to method EdgeTVertexTest.TargetGet(Edge`1<!!0>)
TVertex result = target.Target;
}
public CFGBlock EdgeTarget(Edge<CFGBlock> edge)
{
return edge.Source;
}
protected virtual void OnEdgeRemoved(Edge <TVertex> args)
{
this.EdgeRemoved?.Invoke(args);
}
public virtual bool AddVerticesAndEdge(Edge <TVertex> e)
{
this.AddVertex(e.Source);
this.AddVertex(e.Target);
return(this.AddEdge(e));
}
public CFGBlock EdgeTarget(Edge<CFGBlock> edge)
{
return edge.Target;
}
