Random typos.

diff --git a/Repair/RepairCompiler/MCC/IR/DotExpr.java b/Repair/RepairCompiler/MCC/IR/DotExpr.java
index bf911bd8aafc6eb04d3a4ae46a6e067d7092800d..901b523d2b7730348490b26cd63b8c9c1e0c4d48 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DotExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/DotExpr.java
@@ -28,9 +28,9 @@ public class DotExpr extends Expr {
         this.left = left;
         this.field = field;
         this.index = index;
-
+        StructureTypeDescriptor struct = (StructureTypeDescriptor) left.getType();        
         FieldDescriptor fd = struct.getField(field);
-        LabelDescriptor ld = struct.getLabel(field);        
+        LabelDescriptor ld = struct.getLabel(field);
        if (ld != null) { /* label */
             assert fd == null;
             fieldtype = ld.getType(); // d.s ==> Superblock, while,  d.b ==> Block

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index bfbe8db16066c3780a67597b4554f36590471a26..351f468a4a4ed49ea5348c07f809df5c52a91ff8 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -78,14 +78,12 @@ public class Termination {
                if (ConcreteInterferes.interferes(mun,r,true)) {
                    GraphNode scopenode=(GraphNode)scopesatisfy.get(r);
                    GraphNode.Edge e=new GraphNode.Edge("interferes",scopenode);
-                   GraphNode gnconseq=(GraphNode)consequence.get(sn);
-                   gnconseq.addEdge(e);
+                   gn.addEdge(e);
                }
                if (ConcreteInterferes.interferes(mun,r,false)) {
                    GraphNode scopenode=(GraphNode)scopefalsify.get(r);
                    GraphNode.Edge e=new GraphNode.Edge("interferes",scopenode);
-                   GraphNode gnconseq=(GraphNode)consequence.get(sn);
-                   gnconseq.addEdge(e);
+                   gn.addEdge(e);
                }
            }
        }

diff --git a/Repair/RepairCompiler/MCC/IR/Updates.java b/Repair/RepairCompiler/MCC/IR/Updates.java
index 7e4dbd3ca9e826f13579663ed29fd2e89da219ff..3f99fe215b0b633d0e19054d6d2a71d0e3afdd72 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Updates.java
+++ b/Repair/RepairCompiler/MCC/IR/Updates.java
@@ -42,7 +42,7 @@ class Updates {
            return ((VarExpr)leftexpr).getVar();
        } else if (isField()) {
            return ((DotExpr)leftexpr).getField();
-       } else throw New Error("Unrecognized Update");
+       } else throw new Error("Unrecognized Update");
     }
 
     boolean isField() {