X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FState.java;h=67b4ff831c4ed86da0bd311d63c6899e7ce99a05;hp=a3f0a8bcd31acc0db3e9371b08adba723fb37526;hb=0cb8508d84840263d5b8e83594407bd689521f91;hpb=4f14d8d6bc422295a297396b7174cf2d87de04a1

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index a3f0a8bc..67b4ff83 100644
--- 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;
+  }
 
 }