Robust/src/Analysis/SSJava/MethodSummary.java

   1 package Analysis.SSJava;
   2
   3 import java.util.HashMap;
   4 import java.util.Map;
   5
   6 import IR.Descriptor;
   7 import IR.MethodDescriptor;
   8
   9 public class MethodSummary extends LocationSummary {
  10
  11   MethodDescriptor md;
  12
  13   String thisLocName;
  14   String globalLocName;
  15
  16   CompositeLocation pcLoc;
  17   CompositeLocation returnLoc;
  18
  19   Map<Integer, CompositeLocation> mapParamIdxToInferLoc;
  20   Map<Descriptor, CompositeLocation> mapDescToInferCompositeLocation;
  21
  22   public MethodSummary(MethodDescriptor md) {
  23     this.md = md;
  24     this.pcLoc = new CompositeLocation(new Location(md, Location.TOP));
  25     this.mapParamIdxToInferLoc = new HashMap<Integer, CompositeLocation>();
  26     this.thisLocName = "this";
  27   }
  28
  29   public void addMapParamIdxToInferLoc(int paramIdx, CompositeLocation inferLoc) {
  30     mapParamIdxToInferLoc.put(paramIdx, inferLoc);
  31   }
  32
  33 }