Random typos.
authorbdemsky <bdemsky>
Mon, 5 Jan 2004 20:05:16 +0000 (20:05 +0000)
committerbdemsky <bdemsky>
Mon, 5 Jan 2004 20:05:16 +0000 (20:05 +0000)
Repair/RepairCompiler/MCC/IR/DotExpr.java
Repair/RepairCompiler/MCC/IR/Termination.java
Repair/RepairCompiler/MCC/IR/Updates.java

index bf911bd..901b523 100755 (executable)
@@ -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
index bfbe8db..351f468 100755 (executable)
@@ -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);
                }
            }
        }
index 7e4dbd3..3f99fe2 100755 (executable)
@@ -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() {