changes.

[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 a29fa363a278b50b858244eece7254de77ca1c8d..7435c187cd6c19d1433c9528b02daafc45513c8b 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodLocationInfo.java
+++ b/Robust/src/Analysis/SSJava/MethodLocationInfo.java
@@ -13,6 +13,16 @@ 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;
@@ -29,6 +39,14 @@ public class MethodLocationInfo extends LocationInfo {
     mapParamIdxToInferLoc.put(paramIdx, inferLoc);
   }
 
+  public int getNumParam() {
+    return mapParamIdxToInferLoc.keySet().size();
+  }
+
+  public CompositeLocation getParamCompositeLocation(int idx) {
+    return mapParamIdxToInferLoc.get(idx);
+  }
+
   public Map<Integer, CompositeLocation> getMapParamIdxToInferLoc() {
     return mapParamIdxToInferLoc;
   }
@@ -70,4 +88,8 @@ public class MethodLocationInfo extends LocationInfo {
     getDescSet(localVarLocSymbol).remove(localVarDesc);
   }
 
+  public MethodDescriptor getMethodDesc() {
+    return md;
+  }
+
 }