changes.

[IRC.git] / Robust / src / Analysis / SSJava / SSJavaLattice.java

diff --git a/Robust/src/Analysis/SSJava/SSJavaLattice.java b/Robust/src/Analysis/SSJava/SSJavaLattice.java
index e2c85f299c768dc678e7307992767f4abcc92a20..2611d9f796faaceb35e3ea6264bd87ffe57552e1 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaLattice.java
+++ b/Robust/src/Analysis/SSJava/SSJavaLattice.java
@@ -27,6 +27,21 @@ public class SSJavaLattice<T> extends Lattice<T> {
   public boolean isSharedLoc(T loc) {
     return sharedLocSet.contains(loc);
   }
+  
+  public Set<T> getElementSet(){
+    Set<T> set=new HashSet<T>();
+    
+    Set<T> keySet=getKeySet();
+    for (Iterator iterator = keySet.iterator(); iterator.hasNext();) {
+      T key = (T) iterator.next();
+      set.add(key);
+      set.addAll(getTable().get(key));
+    }
+    
+    set.remove(getTopItem());
+    set.remove(getBottomItem());
+    return set;
+  }
 
   public boolean addRelationHigherToLower(T higher, T lower) {