Robust/src/Analysis/SSJava/MethodLattice.java

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