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   private T pcLoc;
  11
  12   public MethodLattice(T top, T bottom) {
  13     super(top, bottom);
  14     pcLoc = top;
  15   }
  16
  17   public void setThisLoc(T thisLoc) {
  18     this.thisLoc = thisLoc;
  19   }
  20
  21   public T getThisLoc() {
  22     return thisLoc;
  23   }
  24
  25   public void setGlobalLoc(T globalLoc) {
  26     this.globalLoc = globalLoc;
  27   }
  28
  29   public T getGlobalLoc() {
  30     return globalLoc;
  31   }
  32
  33   public void setReturnLoc(T returnLoc) {
  34     this.returnLoc = returnLoc;
  35   }
  36
  37   public T getReturnLoc() {
  38     return returnLoc;
  39   }
  40
  41   public T getPCLoc() {
  42     return pcLoc;
  43   }
  44
  45   public void setPCLoc(T pcLoc) {
  46     this.pcLoc = pcLoc;
  47   }
  48
  49 }