boomerang.debugger.ConsoleDebugger Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of boomerangPDS Show documentation

There is a newer version: 3.2.2

package boomerang.debugger;

import boomerang.Query;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
import wpds.impl.Weight;

public class ConsoleDebugger extends Debugger {
  private static final Logger logger = LoggerFactory.getLogger(ConsoleDebugger.class);

  public void done(
      java.util.Map>
          queryToSolvers) {
    int totalRules = 0;
    for (Query q : queryToSolvers.keySet()) {
      totalRules += queryToSolvers.get(q).getNumberOfRules();
    }
    logger.debug("Total number of rules: " + totalRules);
    for (Query q : queryToSolvers.keySet()) {
      logger.debug("========================");
      logger.debug(q.toString());
      logger.debug("========================");
      queryToSolvers.get(q).debugOutput();
      //            for (Method m : queryToSolvers.get(q).getReachableMethods()) {
      //                logger.debug(m + "\n" +
      // Joiner.on("\n\t").join(queryToSolvers.get(q).getResults(m).cellSet()));
      //            }
      queryToSolvers.get(q).debugOutput();
    }
  }
  ;
}