Exemple #1
0
 public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNode target)
 {
     return AddEdge(sourceCluster.End, target);
 }
Exemple #2
0
 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];
 }
Exemple #3
0
 public CFGEdge AddEdge(CFGNode source, CFGNodeCluster targetCluster)
 {
     return AddEdge(source, targetCluster.Start);
 }
Exemple #4
0
 public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNodeCluster targetCluster, BranchCondition condition)
 {
     return AddEdge(sourceCluster.End, targetCluster.Start, condition);
 }
Exemple #5
0
 public CFGEdge AddEdge(CFGNode source, CFGNodeCluster targetCluster, BranchConditionType conditionType)
 {
     return AddEdge(source, targetCluster.Start, conditionType);
 }
Exemple #6
0
 public CFGNodeCluster(CFGNodeCluster start, CFGNodeCluster end)
 {
     _start = start.Start;
     _end = end.End;
 }
Exemple #7
0
 public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNode target, BranchConditionType conditionType)
 {
     return AddEdge(sourceCluster.End, target, conditionType);
 }