debug(block, "rBlockOrder " + rBlockOrder.rdfs.getDiscoveryTime(block) + "\n"); debug(block, "\n"); analysis.initEntryFact(start); if (debug) { debug(block, "Init entry fact ==> " + analysis.factToString(start) + "\n"); debug(block, "direction " + direction + " for " + blockId(logicalPred) + "\n"); debug(block, "\n Need to recompute. My timestamp = " + lastCalculated + ", pred timestamp = " + predLastUpdated + ",\n pred fact = " + predFact + "\n"); debug(block, logicalPred, edge, "Edge transfer " + analysis.factToString(predFact) + " ==> " + analysis.factToString(edgeFact)); debug(block, logicalPred, edge, "\n First pred is " + analysis.factToString(edgeFact) + "\n last updated at " + analysis.getLastUpdateTimestamp(predFact) + "\n"); } else { debug(block, logicalPred, edge, "\n Meet " + analysis.factToString(start) + "\n with " + analysis.factToString(edgeFact) debug(block, "start fact is " + analysis.factToString(start) + "\n"); debug(block, "Dumping flow values for block:\n"); Iterator<org.apache.bcel.generic.InstructionHandle> ii = block.instructionIterator(); while (ii.hasNext()) { debug(block, "orig result is " + (origResult == null ? "TOP" : analysis.factToString(origResult)) + "\n");
debug(block, "rBlockOrder " + rBlockOrder.rdfs.getDiscoveryTime(block) + "\n"); debug(block, "\n"); analysis.initEntryFact(start); if (DEBUG) { debug(block, "Init entry fact ==> " + analysis.factToString(start) + "\n"); debug(block, "direction " + direction + " for " + blockId(logicalPred) + "\n"); debug(block, "\n Need to recompute. My timestamp = " + lastCalculated + ", pred timestamp = " + predLastUpdated + ",\n pred fact = " + predFact + "\n"); debug(block, logicalPred, edge, "Edge transfer " + analysis.factToString(predFact) + " ==> " + analysis.factToString(edgeFact)); debug(block, logicalPred, edge, "\n First pred is " + analysis.factToString(edgeFact) + "\n last updated at " + analysis.getLastUpdateTimestamp(predFact) + "\n"); } else { debug(block, logicalPred, edge, "\n Meet " + analysis.factToString(start) + "\n with " + analysis.factToString(edgeFact) debug(block, "start fact is " + analysis.factToString(start) + "\n"); debug(block, "Dumping flow values for block:\n"); Iterator<org.apache.bcel.generic.InstructionHandle> ii = block.instructionIterator(); while (ii.hasNext()) { debug(block, "orig result is " + (origResult == null ? "TOP" : analysis.factToString(origResult)) + "\n");