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
   8   public MethodLattice(T top, T bottom) {
   9     super(top, bottom);
  10   }
  11
  12   public void setThisLoc(T thisLoc) {
  13     this.thisLoc = thisLoc;
  14   }
  15
  16   public T getThisLoc() {
  17     return thisLoc;
  18   }
  19
  20   public void setGlobalLoc(T globalLoc) {
  21     this.globalLoc = globalLoc;
  22   }
  23
  24   public T getGlobalLoc() {
  25     return globalLoc;
  26   }
  27
  28 }