public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNode target)
{
return AddEdge(sourceCluster.End, target);
}
public static Set<CFGNode> FindNodeSet(CFGNodeCluster cluster, MethodCompileInfo methodCompileInfo)
{
// TODO: Ensure forward only transitive closure is not dirty
return methodCompileInfo.ForwardOnlyTransitiveClosure[cluster.Start] - methodCompileInfo.ForwardOnlyTransitiveClosure[cluster.End];
}
public CFGEdge AddEdge(CFGNode source, CFGNodeCluster targetCluster)
{
return AddEdge(source, targetCluster.Start);
}
public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNodeCluster targetCluster, BranchCondition condition)
{
return AddEdge(sourceCluster.End, targetCluster.Start, condition);
}
public CFGEdge AddEdge(CFGNode source, CFGNodeCluster targetCluster, BranchConditionType conditionType)
{
return AddEdge(source, targetCluster.Start, conditionType);
}
public CFGNodeCluster(CFGNodeCluster start, CFGNodeCluster end)
{
_start = start.Start;
_end = end.End;
}
public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNode target, BranchConditionType conditionType)
{
return AddEdge(sourceCluster.End, target, conditionType);
}
