fix bug

diff --git a/Robust/src/Analysis/CallGraph/JavaCallGraph.java b/Robust/src/Analysis/CallGraph/JavaCallGraph.java
index 216aa1a1a39b9779f9d0517cd11c849493e0fe2b..133e210a0bf4568e9caf198c89091c6318aef4b1 100644 (file)
--- a/Robust/src/Analysis/CallGraph/JavaCallGraph.java
+++ b/Robust/src/Analysis/CallGraph/JavaCallGraph.java
@@ -41,7 +41,7 @@ public class JavaCallGraph extends CallGraph {
        FlatNode fn=fnit.next();
        if (fn.kind()==FKind.FlatCall) {
          FlatCall fcall=(FlatCall)fn;
-         Set callees=getMethods(fcall.getMethod(),fcall.getThis().getType());
+         Set callees=fcall.getThis()==null?getMethods(fcall.getMethod()):getMethods(fcall.getMethod(),fcall.getThis().getType());
          for(Iterator mdit=callees.iterator();mdit.hasNext();) {
            MethodDescriptor callee=(MethodDescriptor)mdit.next();
            if (!discovered.contains(callee)) {