tweak debugging code

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2347 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-10 21:34:13 +00:00
parent 3bee1b838e
commit e40736143d
1 changed files with 0 additions and 3 deletions

View File

@ -37,7 +37,6 @@ import com.ibm.wala.util.collections.Filter;
import com.ibm.wala.util.collections.FilterIterator; import com.ibm.wala.util.collections.FilterIterator;
import com.ibm.wala.util.collections.HashSetFactory; import com.ibm.wala.util.collections.HashSetFactory;
import com.ibm.wala.util.collections.Iterator2Collection; import com.ibm.wala.util.collections.Iterator2Collection;
import com.ibm.wala.util.debug.Trace;
/** /**
* *
@ -70,14 +69,12 @@ public class ReflectionHandler {
for (Statement st : returnStatements) { for (Statement st : returnStatements) {
if (VERBOSE) { if (VERBOSE) {
System.err.println("Slice " + st); System.err.println("Slice " + st);
Trace.println("Slice " + st);
} }
Collection<Statement> slice = Slicer.computeForwardSlice(st, builder.callGraph, null, DataDependenceOptions.REFLECTION, Collection<Statement> slice = Slicer.computeForwardSlice(st, builder.callGraph, null, DataDependenceOptions.REFLECTION,
ControlDependenceOptions.NONE); ControlDependenceOptions.NONE);
if (VERBOSE) { if (VERBOSE) {
for (Statement x : slice) { for (Statement x : slice) {
System.err.println(" " + x); System.err.println(" " + x);
Trace.println(" " + x);
} }
} }
Filter f = new Filter() { Filter f = new Filter() {