changes: now it generates simple lattice without having intermediate nodes for the...

[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 ef1722b7b483663152803fbf0d337f400fe8a276..847cfecbb68e8707130cbb363a28d3d1bb4a8d1d 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaLattice.java
+++ b/Robust/src/Analysis/SSJava/SSJavaLattice.java
@@ -320,6 +320,8 @@ public class SSJavaLattice<T> extends Lattice<T> {
   }
 
   public void insertNewLocationBetween(T higher, Set<T> lowerSet, T newLoc) {
+    System.out.println("---insert new location=" + newLoc + "   between=" + higher + "<->"
+        + lowerSet);
     Set<T> connectedSet = get(higher);
     connectedSet.removeAll(lowerSet);
     connectedSet.add(newLoc);