2 bug fixes to getRequiredConstraints

[repair.git] / Repair / RepairCompiler / MCC / Compiler.java

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 41794e712df1590a9ee44e1976cbef7567612a4d..5fa3fca1a81ccf07b6d65b7838959ef55e645319 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -25,7 +25,11 @@ public class Compiler {
     public static boolean GENERATEDEBUGPRINT=false;
     public static boolean GENERATEINSTRUMENT=false;
     public static boolean ALLOCATECPLUSPLUS=false;
+    public static boolean OMITCOMP=false;
+    public static boolean MERGENODES=false;
     public static boolean TIME=false;
+    public static boolean DEBUGGRAPH=false;
+    public static boolean REJECTLENGTH=false;
 
     public static Vector debuggraphs=new Vector();
 
@@ -78,13 +82,8 @@ public class Compiler {
            nodes.addAll(state.rulenodes.values());
 
            FileOutputStream dotfile;
-           dotfile = new FileOutputStream(cli.infile + ".dependencies.edgelabels.dot");
-           GraphNode.useEdgeLabels = true;
-           GraphNode.DOTVisitor.visit(dotfile, nodes);
-           dotfile.close();
 
            dotfile = new FileOutputStream(cli.infile + ".dependencies.dot");
-           GraphNode.useEdgeLabels = false;
            GraphNode.DOTVisitor.visit(dotfile, nodes);
            dotfile.close();
        } catch (Exception e) {