more 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..64bfb69deb2ab82c90f848459c935cd93ba2d5ba 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodLocationInfo.java
+++ b/Robust/src/Analysis/SSJava/MethodLocationInfo.java
@@ -29,6 +29,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;
   }