Robust/src/Analysis/SSJava/SSJavaLattice.java

   1 package Analysis.SSJava;
   2
   3 import java.util.HashSet;
   4 import java.util.Set;
   5
   6 import Util.Lattice;
   7
   8 public class SSJavaLattice<T> extends Lattice<T> {
   9
  10   Set<T> spinLocSet;
  11
  12   public SSJavaLattice(T top, T bottom) {
  13     super(top, bottom);
  14     spinLocSet = new HashSet<T>();
  15   }
  16
  17   public Set<T> getSpinLocSet() {
  18     return spinLocSet;
  19   }
  20
  21   public void addSpinLoc(T loc) {
  22     spinLocSet.add(loc);
  23   }
  24
  25 }