DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

added some debugging statements 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-04-02 20:19:19 +00:00
parent 4bb4e509ff
commit 589575f23c
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/StandardSolver.java
View File

@ -13,7 +13,6 @@ package com.ibm.wala.ipa.callgraph.propagation;
import org.eclipse.core.runtime.IProgressMonitor; import org.eclipse.core.runtime.IProgressMonitor;
import com.ibm.wala.eclipse.util.CancelException; import com.ibm.wala.eclipse.util.CancelException;
import com.ibm.wala.util.debug.Trace;
/** /**
* *
@ -41,19 +40,28 @@ public class StandardSolver extends AbstractPointsToSolver {
i++; i++;
if (DEBUG) { if (DEBUG) {
Trace.println("Iteration " + i); System.err.println("Iteration " + i);
} }
getSystem().solve(monitor); getSystem().solve(monitor);
if (DEBUG) { if (DEBUG) {
Trace.println("Solved " + i); System.err.println("Solved " + i);
} }
// Add constraints until there are no new discovered nodes // Add constraints until there are no new discovered nodes
if (DEBUG) {
System.err.println("adding constraints");
}
getBuilder().addConstraintsFromNewNodes(); getBuilder().addConstraintsFromNewNodes();
if (DEBUG) {
System.err.println("handling reflection");
}
getReflectionHandler().updateForReflection(); getReflectionHandler().updateForReflection();
// Handling reflection may have discovered new nodes! // Handling reflection may have discovered new nodes!
if (DEBUG) {
System.err.println("adding constraints again");
}
getBuilder().addConstraintsFromNewNodes(); getBuilder().addConstraintsFromNewNodes();
// Note that we may have added stuff to the // Note that we may have added stuff to the
// worklist; so, // worklist; so,