changes: now Inference engine works fine with the EyeTracking benchmark.

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

diff --git a/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java b/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
index c1f482419fe6af507ba347ac155485b36d79064e..fabdf9dbbdbe09f2fb0f0f7c7c9b9618d53be0de 100644 (file)
--- a/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
+++ b/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
@@ -1941,7 +1941,7 @@ public class DefinitelyWrittenCheck {
 
       // arg idx is starting from 'this' arg
       if (fc.getThis() != null) {
-        NTuple<Location> thisLocationPath = deriveLocationTuple(mdCaller, fc.getThis());
+        NTuple<Location> thisLocationPath = deriveLocationTuple(fc.getMethod(), fc.getThis());
         if (thisLocationPath != null) {
           mapArgIdx2CallerAgLocationPath.put(Integer.valueOf(0), thisLocationPath);
         }
@@ -2621,7 +2621,6 @@ public class DefinitelyWrittenCheck {
   }
 
   private NTuple<Location> deriveLocationTuple(MethodDescriptor md, TempDescriptor td) {
-
     assert td.getType() != null;
 
     if (mapDescriptorToLocationPath.containsKey(td)) {