changes and data/eval files for new evaluations

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index a3f0a8bcd31acc0db3e9371b08adba723fb37526..67b4ff831c4ed86da0bd311d63c6899e7ce99a05 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -153,6 +153,7 @@ public class State {
   public boolean SSJAVA_INJECT_ERROR=false;
   public int     SSJAVA_INV_ERROR_PROB=0;
   public int     SSJAVA_ERROR_SEED=0;
+  public Set<MethodDescriptor> annotationRequireSet;
 
   public boolean OPTIONAL=false;
   public boolean NOLOOP=false;
@@ -374,5 +375,13 @@ public class State {
     tasks.add(td);
     numtasks++;
   }
+  
+  public void setAnnotationRequireSet(Set<MethodDescriptor> set){
+    annotationRequireSet=set;
+  }
+  
+  public Set<MethodDescriptor> getAnnotationRequireSet(){
+    return annotationRequireSet;
+  }
 
 }