changes to MGC class library

[IRC.git] / Robust / src / IR / State.java

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index a5d048b2632df9ed1105c165d342dfd019b2e984..7f7544822b6c7db1cdc0c9a42a91b7ae24224272 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -3,6 +3,7 @@ import IR.Tree.*;
 import IR.Flat.*;
 import IR.*;
 import Util.Lattice;
+import Util.Pair;
 
 import java.util.*;
 import Analysis.TaskStateAnalysis.*;
@@ -39,8 +40,6 @@ public class State {
     this.selfloops=new HashSet();
     this.excprefetch=new HashSet();
     this.classpath=new Vector();
-    this.cd2locationOrderMap=new Hashtable();
-    this.cd2locationPropertyMap=new Hashtable();
     this.fn2labelMap=new Hashtable();
     this.lines=0;
   }
@@ -127,6 +126,13 @@ public class State {
 
   public boolean DISJOINTDEBUGSCHEDULING=false;
 
+  public boolean DISJOINT_WRITE_ALL_NODE_FINAL_GRAPHS=false;
+
+  public boolean POINTSTO_CHECK_V_RUNTIME=false;
+
+  public boolean DO_DEFINITE_REACH_ANALYSIS=false;
+
+
   public boolean OOOJAVA=false;
   public boolean OOODEBUG=false;
   public boolean RCR=false;
@@ -136,7 +142,11 @@ public class State {
 
   //SSJava
   public boolean SSJAVA=false;
-
+  public boolean SSJAVADEBUG=false;
+  public boolean SSJAVA_GENCODE_PREVENT_CRASHES=false;
+  public boolean SSJAVA_INJECT_ERROR=false;
+  public int     SSJAVA_INV_ERROR_PROB=0;
+  public int     SSJAVA_ERROR_SEED=0;
 
   public boolean OPTIONAL=false;
   public boolean NOLOOP=false;
@@ -171,6 +181,7 @@ public class State {
   // Bamboo options
   public boolean MULTICORE=false;
   public boolean MULTICOREGC=false;
+  public boolean PMC=false;
   public boolean BAMBOOCOMPILETIME = false;
   public boolean ARRAYBOUNDARYCHECK=true;
   public boolean RAW=false;
@@ -209,8 +220,6 @@ public class State {
   private int numtasks=0;
   private int numstaticblocks=0;
   private int arraycount=0;
-  public Hashtable cd2locationOrderMap;
-  public Hashtable cd2locationPropertyMap;
   public Hashtable fn2labelMap;
   public boolean OPTIMIZE=false;
   public boolean LINENUM=false;
@@ -360,20 +369,4 @@ public class State {
     numtasks++;
   }
 
-  public void addLocationOrder(ClassDescriptor cd, Lattice order) {
-    cd2locationOrderMap.put(cd,order);
-  }
-
-  public Hashtable getCd2LocationOrder() {
-    return cd2locationOrderMap;
-  }
-
-  public void addLocationPropertySet(ClassDescriptor cd, Set<String> set) {
-    cd2locationPropertyMap.put(cd,set);
-  }
-
-  public Hashtable getCd2LocationPropertyMap() {
-    return cd2locationPropertyMap;
-  }
-
 }