changes.

[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 8414b834d4f3dde9beea7849cd795e82e18f7088..63f4b99e81247c4e51aa02c38ee062a584f43650 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodSummary.java
+++ b/Robust/src/Analysis/SSJava/MethodSummary.java
@@ -30,4 +30,12 @@ public class MethodSummary extends LocationSummary {
     mapParamIdxToInferLoc.put(paramIdx, inferLoc);
   }
 
+  public Map<Integer, CompositeLocation> getMapParamIdxToInferLoc() {
+    return mapParamIdxToInferLoc;
+  }
+
+  public void setPCLoc(CompositeLocation pcLoc) {
+    this.pcLoc = pcLoc;
+  }
+
 }