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   public static final String TOP="_top_";
  11   public static final String BOTTOM="_bottom_";
  12
  13   Set<T> spinLocSet;
  14
  15   public SSJavaLattice(T top, T bottom) {
  16     super(top, bottom);
  17     spinLocSet = new HashSet<T>();
  18   }
  19
  20   public Set<T> getSpinLocSet() {
  21     return spinLocSet;
  22   }
  23
  24   public void addSpinLoc(T loc) {
  25     spinLocSet.add(loc);
  26   }
  27
  28 }