X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FLocationInference.java;h=aedd279eedb75422858786a8f8f7859a4e1eef86;hb=13be5368950a5ce77e6cba02c75bd8fee88e8f31;hp=a19f725ef5f7222dbe6f97a1bd745d4a08236762;hpb=094082ca4819e86104232cd3a8010323fcac95dc;p=IRC.git diff --git a/Robust/src/Analysis/SSJava/LocationInference.java b/Robust/src/Analysis/SSJava/LocationInference.java index a19f725e..aedd279e 100644 --- a/Robust/src/Analysis/SSJava/LocationInference.java +++ b/Robust/src/Analysis/SSJava/LocationInference.java @@ -1030,7 +1030,7 @@ public class LocationInference { while (!methodDescList.isEmpty()) { MethodDescriptor md = methodDescList.removeLast(); - // System.out.println("\n#updateCompositeLocationAssignments=" + md); + System.out.println("\n#updateCompositeLocationAssignments=" + md); FlowGraph flowGraph = getFlowGraph(md); @@ -1039,12 +1039,12 @@ public class LocationInference { Set nodeSet = flowGraph.getNodeSet(); for (Iterator iterator = nodeSet.iterator(); iterator.hasNext();) { FlowNode node = (FlowNode) iterator.next(); - // System.out.println("-node=" + node + " node.getDescTuple=" + node.getDescTuple()); + System.out.println("-node=" + node + " node.getDescTuple=" + node.getDescTuple()); if (node.getCompositeLocation() != null) { CompositeLocation compLoc = node.getCompositeLocation(); CompositeLocation updatedCompLoc = updateCompositeLocation(compLoc); node.setCompositeLocation(updatedCompLoc); - // System.out.println("---updatedCompLoc1=" + updatedCompLoc); + System.out.println("---updatedCompLoc1=" + updatedCompLoc); } else { NTuple descTuple = node.getDescTuple(); // System.out.println("update desc=" + descTuple); @@ -1086,8 +1086,8 @@ public class LocationInference { HierarchyGraph scGraph = getSimpleHierarchyGraph(enclosingDesc); if (scGraph != null) { HNode curNode = scGraph.getCurrentHNode(nodeIdentifier); - // System.out.println("nodeID=" + nodeIdentifier + " curNode=" + curNode - // + " enclosingDesc=" + enclosingDesc); + System.out.println(" nodeID=" + nodeIdentifier + " curNode=" + curNode + + " enclosingDesc=" + enclosingDesc); if (curNode != null) { nodeIdentifier = curNode.getName(); }