lots of changes

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / SemanticsChecker.java

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java b/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
index d22ddee4e6cae175a7ab0a323bf78c992cfa4827..495801b97d263965c5fa5aed5828ef2dc942f63f 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
@@ -4,7 +4,6 @@ import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.HashSet;
 
-import edu.uci.eecs.specCompiler.specExtraction.ActionSubConstruct.DefineVar;
 import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.ConditionalInterface;
@@ -22,7 +21,6 @@ public class SemanticsChecker {
        public final HashMap<String, Construct> interfaceName2Construct;
        public final HashMap<String, Construct> interfaceName2DefineConstruct;
        public final HashMap<String, ArrayList<InterfaceConstruct>> CPLabel2InterfaceConstruct;
-       public final HashSet<DefineVar> defineVars;
        
        public final HashMap<String, Integer> interface2Num;
        public final HashMap<String, Integer> hbLabel2Num;
@@ -43,7 +41,6 @@ public class SemanticsChecker {
                this.interfaceName2Construct = new HashMap<String, Construct>();
                this.interfaceName2DefineConstruct = new HashMap<String, Construct>();
                this.CPLabel2InterfaceConstruct = new HashMap<String, ArrayList<InterfaceConstruct>>();
-               this.defineVars = new HashSet<DefineVar>();
                this.entryPointConstruct = null;
                
                this.interface2Num = new HashMap<String, Integer>();
@@ -136,11 +133,6 @@ public class SemanticsChecker {
                                interface2Num.put(iConstruct.name, _interfaceNum++);
                                
                                interfaceName2Construct.put(iConstruct.name, constructs.get(i));
-                               for (int j = 0; j < iConstruct.action.defineVars.size(); j++) {
-                                       DefineVar var = iConstruct.action.defineVars.get(j);
-                                       var.renameVarName("__" + iConstruct.name + "_"
-                                                       + var.varName + "__");
-                               }
 
                                for (int j = 0; j < iConstruct.commitPointSet.size(); j++) {
                                        String label = iConstruct.commitPointSet.get(j);