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);
32 public boolean addRelationHigherToLower(T higher, T lower) {
34 System.out.println("add a relation: " + lower + "<" + higher);
36 return put(higher, lower);