Adding code to generate repair algorithms. Its not complete yet...

[repair.git] / Repair / RepairCompiler / MCC / IR / Termination.java

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index b788acc3ac8937242cd905b7a216dbe8ff5778f5..ff5985fcefb81b24caafe0c254552203dd7de80d 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -66,6 +66,12 @@ public class Termination {
            System.out.println(mun.toString());
        }
        GraphAnalysis ga=new GraphAnalysis(this);
+       Set toremove=ga.doAnalysis();
+       System.out.println("Removing:");
+       for(Iterator it=toremove.iterator();it.hasNext();) {
+           GraphNode gn=(GraphNode)it.next();
+           System.out.println(gn.getTextLabel());
+       }
     }
     
     void generateconjunctionnodes() {