From d80ad805ccae4b4720129bb4d130aa7055fe4873 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 18 Sep 2009 04:32:39 +0000
Subject: [PATCH] fix bug

---
 Robust/src/Analysis/CallGraph/JavaCallGraph.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/CallGraph/JavaCallGraph.java b/Robust/src/Analysis/CallGraph/JavaCallGraph.java
index 216aa1a1..133e210a 100644
--- 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)) {
-- 
2.34.1