add ssjava debug option to have interim results if we want and small changes

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

diff --git a/Robust/src/Analysis/SSJava/SingleReferenceCheck.java b/Robust/src/Analysis/SSJava/SingleReferenceCheck.java
index 5ef3452c7ca419f7163b65d27def66b7c0926c68..baae40db57b3e40e96963a983340096cf5c2adea 100644 (file)
--- a/Robust/src/Analysis/SSJava/SingleReferenceCheck.java
+++ b/Robust/src/Analysis/SSJava/SingleReferenceCheck.java
@@ -33,7 +33,7 @@ public class SingleReferenceCheck {
       ClassDescriptor cd = (ClassDescriptor) it.next();
       for (Iterator method_it = cd.getMethods(); method_it.hasNext();) {
         MethodDescriptor md = (MethodDescriptor) method_it.next();
-        if (ssjava.needAnnotation(md)) {
+        if (ssjava.needTobeAnnotated(md)) {
           checkMethodBody(cd, md);
         }
       }