1 package Analysis.SSJava;
3 import java.util.HashMap;
7 import IR.MethodDescriptor;
9 public class MethodSummary extends LocationSummary {
16 CompositeLocation pcLoc;
17 CompositeLocation returnLoc;
19 Map<Integer, CompositeLocation> mapParamIdxToInferLoc;
20 Map<Descriptor, CompositeLocation> mapDescToInferCompositeLocation;
22 public MethodSummary(MethodDescriptor md) {
24 this.pcLoc = new CompositeLocation(new Location(md, Location.TOP));
25 this.mapParamIdxToInferLoc = new HashMap<Integer, CompositeLocation>();
26 this.thisLocName = "this";
29 public void addMapParamIdxToInferLoc(int paramIdx, CompositeLocation inferLoc) {
30 mapParamIdxToInferLoc.put(paramIdx, inferLoc);