changes on global composite assignment translation and pcloc generation

[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..333b2240b633587840c9c6633b8f8e04abeefe2b 100644 (file)
--- a/Robust/src/Analysis/SSJava/MethodSummary.java
+++ b/Robust/src/Analysis/SSJava/MethodSummary.java
@@ -1,5 +1,101 @@
 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> mapVarDescToInferCompositeLocation;
+
+  boolean hasGlobalAccess;
+
+  public MethodSummary(MethodDescriptor md) {
+    this.md = md;
+    this.pcLoc = new CompositeLocation(new Location(md, Location.TOP));
+    this.mapParamIdxToInferLoc = new HashMap<Integer, CompositeLocation>();
+    this.mapVarDescToInferCompositeLocation = new HashMap<Descriptor, CompositeLocation>();
+    this.thisLocName = "this";
+    this.globalLocName = "GLOBAL";
+    this.hasGlobalAccess = false;
+  }
+
+  public Map<Descriptor, CompositeLocation> getMapVarDescToInferCompositeLocation() {
+    return mapVarDescToInferCompositeLocation;
+  }
+
+  public void addMapVarNameToInferCompLoc(Descriptor varDesc, CompositeLocation inferLoc) {
+    mapVarDescToInferCompositeLocation.put(varDesc, inferLoc);
+  }
+
+  public CompositeLocation getInferLocation(Descriptor varDesc) {
+    return mapVarDescToInferCompositeLocation.get(varDesc);
+    // if (mapVarNameToInferCompositeLocation.containsKey(varName)) {
+    // // it already has a composite location assignment.
+    // return mapVarNameToInferCompositeLocation.get(varName);
+    // } else {
+    // String locName = getLocationName(varName);
+    // return new CompositeLocation(new Location(md, locName));
+    // }
+  }
+
+  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;
+  }
+
+  public CompositeLocation getPCLoc() {
+    return pcLoc;
+  }
+
+  public void setRETURNLoc(CompositeLocation returnLoc) {
+    this.returnLoc = returnLoc;
+  }
+
+  public CompositeLocation getRETURNLoc() {
+    return returnLoc;
+  }
+
+  public void setThisLocName(String name) {
+    this.thisLocName = name;
+  }
+
+  public String getThisLocName() {
+    return thisLocName;
+  }
+
+  public void setGlobalLocName(String name) {
+    this.globalLocName = name;
+  }
+
+  public String getGlobalLocName() {
+    return globalLocName;
+  }
+
+  public void setHasGlobalAccess() {
+    this.hasGlobalAccess = true;
+  }
+
+  public boolean hasGlobalAccess() {
+    return hasGlobalAccess;
+  }
+
 }