X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FMethodSummary.java;h=63f4b99e81247c4e51aa02c38ee062a584f43650;hb=75ee5e21119b65f10cf603d29ee261674cd05a9a;hp=8414b834d4f3dde9beea7849cd795e82e18f7088;hpb=da0fa968b5637a83e1e8878fc1ab3df8e413344a;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/MethodSummary.java b/Robust/src/Analysis/SSJava/MethodSummary.java
index 8414b834..63f4b99e 100644
--- 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;
+  }
+
 }