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 ebe588b0807573327e63ea4e4fbc8c5fb53ced56..63f4b99e81247c4e51aa02c38ee062a584f43650 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodSummary.java
+++ b/Robust/src/Analysis/SSJava/MethodSummary.java
@@ -1,5 +1,41 @@
 package Analysis.SSJava;
 
-public class MethodSummary {
-  
+import java.util.HashMap;
+import java.util.Map;
+
+import IR.Descriptor;
+import IR.MethodDescriptor;
+
+public class MethodSummary extends LocationSummary {
+
+  MethodDescriptor md;
+
+  String thisLocName;
+  String globalLocName;
+
+  CompositeLocation pcLoc;
+  CompositeLocation returnLoc;
+
+  Map<Integer, CompositeLocation> mapParamIdxToInferLoc;
+  Map<Descriptor, CompositeLocation> mapDescToInferCompositeLocation;
+
+  public MethodSummary(MethodDescriptor md) {
+    this.md = md;
+    this.pcLoc = new CompositeLocation(new Location(md, Location.TOP));
+    this.mapParamIdxToInferLoc = new HashMap<Integer, CompositeLocation>();
+    this.thisLocName = "this";
+  }
+
+  public void addMapParamIdxToInferLoc(int paramIdx, CompositeLocation inferLoc) {
+    mapParamIdxToInferLoc.put(paramIdx, inferLoc);
+  }
+
+  public Map<Integer, CompositeLocation> getMapParamIdxToInferLoc() {
+    return mapParamIdxToInferLoc;
+  }
+
+  public void setPCLoc(CompositeLocation pcLoc) {
+    this.pcLoc = pcLoc;
+  }
+
 }