addressing two problems in the composite location generation: 1) when a parameter...

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

diff --git a/Robust/src/Analysis/SSJava/MethodSummary.java b/Robust/src/Analysis/SSJava/MethodSummary.java
index 333b2240b633587840c9c6633b8f8e04abeefe2b..ebf7339723030cfc32d7312c406fa75cba96f411 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodSummary.java
+++ b/Robust/src/Analysis/SSJava/MethodSummary.java
@@ -58,16 +58,16 @@ public class MethodSummary extends LocationSummary {
     return mapParamIdxToInferLoc;
   }
 
-  public void setPCLoc(CompositeLocation pcLoc) {
-    this.pcLoc = pcLoc;
+  public void setPCLoc(CompositeLocation in) {
+    this.pcLoc = in;
   }
 
   public CompositeLocation getPCLoc() {
     return pcLoc;
   }
 
-  public void setRETURNLoc(CompositeLocation returnLoc) {
-    this.returnLoc = returnLoc;
+  public void setRETURNLoc(CompositeLocation in) {
+    this.returnLoc = in;
   }
 
   public CompositeLocation getRETURNLoc() {