generate annotated source code again but it's still not the correct one...

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

diff --git a/Robust/src/Analysis/SSJava/MethodLocationInfo.java b/Robust/src/Analysis/SSJava/MethodLocationInfo.java
index 64bfb69deb2ab82c90f848459c935cd93ba2d5ba..3f93fe2f331b5b683e7c27ba58af6e3a46131f29 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodLocationInfo.java
+++ b/Robust/src/Analysis/SSJava/MethodLocationInfo.java
@@ -10,9 +10,18 @@ import IR.MethodDescriptor;
 
 public class MethodLocationInfo extends LocationInfo {
 
-  String returnLocName;
   String thisLocName;
   CompositeLocation pcLoc;
+  CompositeLocation returnLoc;
+
+  public CompositeLocation getReturnLoc() {
+    return returnLoc;
+  }
+
+  public void setReturnLoc(CompositeLocation returnLoc) {
+    this.returnLoc = returnLoc;
+  }
+
   String globalLocName;
 
   Map<Integer, CompositeLocation> mapParamIdxToInferLoc;
@@ -49,14 +58,6 @@ public class MethodLocationInfo extends LocationInfo {
     this.globalLocName = globalLocName;
   }
 
-  public String getReturnLocName() {
-    return returnLocName;
-  }
-
-  public void setReturnLocName(String returnLocName) {
-    this.returnLocName = returnLocName;
-  }
-
   public String getThisLocName() {
     return thisLocName;
   }
@@ -78,4 +79,8 @@ public class MethodLocationInfo extends LocationInfo {
     getDescSet(localVarLocSymbol).remove(localVarDesc);
   }
 
+  public MethodDescriptor getMethodDesc() {
+    return md;
+  }
+
 }