1 package Analysis.SSJava;
3 import java.util.HashSet;
8 public class SSJavaLattice<T> extends Lattice<T> {
10 public static final String TOP="_top_";
11 public static final String BOTTOM="_bottom_";
15 public SSJavaLattice(T top, T bottom) {
17 spinLocSet = new HashSet<T>();
20 public Set<T> getSpinLocSet() {
24 public void addSpinLoc(T loc) {