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 sharedLocSet = new HashSet<T>();
20 public Set<T> getSharedLocSet() {
24 public void addSharedLoc(T loc) {
25 sharedLocSet.add(loc);
28 public boolean isSharedLoc(T loc) {
29 return sharedLocSet.contains(loc);