changes for sandboxing

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 8360a637653d3dad2dbf54d034fd936a0ff33f2c..3341552baf877490a3f97b13fce37e20593e3296 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -2870,7 +2870,7 @@ public class BuildCode {
     output.println("transstart"+faen.getIdentifier()+":");
     output.println("transStart();");
 
-    if (state.ABORTREADERS) {
+    if (state.ABORTREADERS||state.SANDBOX) {
       output.println("if (_setjmp(aborttrans)) {");
       output.println("  goto transretry"+faen.getIdentifier()+"; }");
     }

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index edcb828c20ebd6f9c0a93d8c7c78b52aa74e2adf..dfb4981368481ed6a5c9c59554a1a49cf358c0d2 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -89,6 +89,7 @@ public class State {
   public static boolean ABORTREADERS=false;
   public static boolean SINGLETM=false;
   public static boolean READSET=false;
+  public boolean SANDBOX=false;
   public int CORENUM = 1;
   public String structfile;
   public String main;

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index ce1a5de9f07a185f97c0958f676f2afdc06b2e55..4e90919f2c07e745ed03697b1c2fe6ae08897b9c 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -111,6 +111,8 @@ public class Main {
        state.TASK=true;
       else if (option.equals("-abortreaders"))
        state.ABORTREADERS=true;
+      else if (option.equals("-sandbox"))
+       state.SANDBOX=true;
       else if (option.equals("-taskstate"))
        state.TASKSTATE=true;
       else if (option.equals("-tagstate"))