Robust/src/Analysis/SSJava/MethodLattice.java

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