changes and data/eval files for new evaluations

[IRC.git] / Robust / src / Analysis / SSJava / SSJavaAnalysis.java

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index bf1c6f12df1262f7c36be0b67cd2c4538465881a..146af4e6215a5bc2b8696df6c15177c10a15a79f 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -115,11 +115,11 @@ public class SSJavaAnalysis {
     doMethodAnnotationCheck();
     computeLinearTypeCheckMethodSet();
     doLinearTypeCheck();
-    // if (state.SSJAVADEBUG) {
-    // debugPrint();
-    // }
+    if (state.SSJAVADEBUG) {
+      // debugPrint();
+    }
     if (state.SSJAVAINFER) {
-      inference();
+      // inference();
     } else {
       parseLocationAnnotation();
       doFlowDownCheck();
@@ -227,6 +227,7 @@ public class SSJavaAnalysis {
     methodAnnotationChecker = new MethodAnnotationCheck(this, state, tu);
     methodAnnotationChecker.methodAnnoatationCheck();
     methodAnnotationChecker.methodAnnoataionInheritanceCheck();
+    state.setAnnotationRequireSet(annotationRequireSet);
   }
 
   public void doFlowDownCheck() {