Robust/src/Analysis/SSJava/MethodLattice.java

   1 package Analysis.SSJava;
   2
   3 import IR.MethodDescriptor;
   4
   5 public class MethodLattice<T> extends SSJavaLattice<T> {
   6
   7   private T thisLoc;
   8   private T globalLoc;
   9   private T returnLoc;
  10
  11   public MethodLattice(T top, T bottom) {
  12     super(top, bottom);
  13   }
  14
  15   public void setThisLoc(T thisLoc) {
  16     this.thisLoc = thisLoc;
  17   }
  18
  19   public T getThisLoc() {
  20     return thisLoc;
  21   }
  22
  23   public void setGlobalLoc(T globalLoc) {
  24     this.globalLoc = globalLoc;
  25   }
  26
  27   public T getGlobalLoc() {
  28     return globalLoc;
  29   }
  30
  31   public void setReturnLoc(T returnLoc) {
  32     this.returnLoc = returnLoc;
  33   }
  34
  35   public T getReturnLoc() {
  36     return returnLoc;
  37   }
  38
  39 }