X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FBuildLattice.java;h=f8b5e14ab09b3c4c911d1043c1381d0cb4311f65;hb=7becd1f25e9936c0aabe197eadff78ebb73ba3e9;hp=3bd84fef8fef0117867f73b8f334652910015c37;hpb=937867fd8d958d7ce7dadc3e4aab8ff03084eb51;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/BuildLattice.java b/Robust/src/Analysis/SSJava/BuildLattice.java
index 3bd84fef..f8b5e14a 100644
--- a/Robust/src/Analysis/SSJava/BuildLattice.java
+++ b/Robust/src/Analysis/SSJava/BuildLattice.java
@@ -62,6 +62,7 @@ public class BuildLattice {
 
     }
 
+    // /////////////////////////////////////////////////////////////////////////////////////
     // lattice generation for the native approach
     BasisSet naiveBasisSet = naiveGraph.computeBasisSet(nodeSetWithCompositeLocation);
     // debug_print(inputGraph);
@@ -73,6 +74,8 @@ public class BuildLattice {
     SSJavaLattice<String> naive_lattice =
         buildLattice(desc, naiveBasisSet, naiveGraph, null, naive_mapImSucc);
     LocationInference.numLocationsNaive += naive_lattice.getKeySet().size();
+    infer.addNaiveLattice(desc, naive_lattice);
+    // /////////////////////////////////////////////////////////////////////////////////////
 
     // lattice generation for the proposed approach
     BasisSet basisSet = inputGraph.computeBasisSet(nodeSetWithCompositeLocation);
@@ -265,7 +268,7 @@ public class BuildLattice {
     // System.out.println("***nodeSet=" + nodeSet);
     for (Iterator iterator = nodeSet.iterator(); iterator.hasNext();) {
       HNode node = (HNode) iterator.next();
-      // System.out.println("node=" + node);
+      System.out.println("node=" + node);
 
       if (node.isSkeleton() && (!visited.contains(node))) {
         visited.add(node);