X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowGraph.java;fp=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowGraph.java;h=2ab6dad9ce625cac5d96cda64b5d4f1f989c8b6a;hb=9dfdca00acf795117136425841493a1b0f036f10;hp=77ec3d14feef03ac9e4ddb2140a3f757458164d1;hpb=7701457cedb357fc5efd0170f495a22a99b18cef;p=IRC.git diff --git a/Robust/src/Analysis/SSJava/FlowGraph.java b/Robust/src/Analysis/SSJava/FlowGraph.java index 77ec3d14..2ab6dad9 100644 --- a/Robust/src/Analysis/SSJava/FlowGraph.java +++ b/Robust/src/Analysis/SSJava/FlowGraph.java @@ -109,7 +109,7 @@ public class FlowGraph { mapDescTupleToInferNode.put(tuple, newNode); // nodeSet.add(newNode); - System.out.println("create new intermediate node= " + newNode); + System.out.println("create new intermediate node= " + newNode); return newNode; } @@ -235,7 +235,7 @@ public class FlowGraph { return; } - // System.out.println("create an edge from " + fromNode + " to " + toNode); + System.out.println("create an edge from " + fromNode + " to " + toNode); int fromTupleSize = fromDescTuple.size(); NTuple curFromTuple = new NTuple(); @@ -467,8 +467,6 @@ public class FlowGraph { Descriptor localDesc = fn.getDescTuple().get(0); - System.out.println("descTuple=" + descTuple); - if (fn.isIntermediate()) { Location interLoc = new Location(md, localDesc.getSymbol()); interLoc.setLocDescriptor(localDesc);