From 589575f23cd1c67846c0625e8cf3a68febca3043 Mon Sep 17 00:00:00 2001
From: msridhar1 <msridhar1@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Wed, 2 Apr 2008 20:19:19 +0000
Subject: [PATCH] added some debugging statements

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../ipa/callgraph/propagation/StandardSolver.java  | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

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