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 89ca9af541c0a4ee5ffbc4fcbe04a86b249c9872..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) {
 
@@ -91,7 +106,6 @@ public class SSJavaLattice<T> extends Lattice<T> {
         getInBetweenElements(cur, end, elementSet);
       }
     }
-    System.out.println("            start=" + start + " end=" + end + "   element=" + elementSet);
   }
 
   public void mergeIntoSharedLocation(Set<T> cycleSet, T newLoc) {