@Override public void performVerboseAction() { System.err.println("Evaluated " + nEvaluated); System.err.println("Created " + nCreated); System.err.println("Worklist " + workList.size()); if (MORE_VERBOSE) { if (!workList.isEmpty()) { AbstractStatement s = workList.takeStatement(); System.err.println("Peek " + lineBreak(s.toString(), 132)); if (s instanceof VerboseAction) { ((VerboseAction) s).performVerboseAction(); } workList.insertStatement(s); } } }
@Override public void performVerboseAction() { System.err.println("Evaluated " + nEvaluated); System.err.println("Created " + nCreated); System.err.println("Worklist " + workList.size()); if (MORE_VERBOSE) { if (!workList.isEmpty()) { AbstractStatement s = workList.takeStatement(); System.err.println("Peek " + lineBreak(s.toString(), 132)); if (s instanceof VerboseAction) { ((VerboseAction) s).performVerboseAction(); } workList.insertStatement(s); } } }
@Override public void performVerboseAction() { System.err.println("Evaluated " + nEvaluated); System.err.println("Created " + nCreated); System.err.println("Worklist " + workList.size()); if (MORE_VERBOSE) { if (!workList.isEmpty()) { AbstractStatement s = workList.takeStatement(); System.err.println("Peek " + lineBreak(s.toString(), 132)); if (s instanceof VerboseAction) { ((VerboseAction) s).performVerboseAction(); } workList.insertStatement(s); } } }
@Override public void performVerboseAction() { super.performVerboseAction(); if (DEBUG_MEMORY) { DEBUG_MEM_COUNTER++; if (DEBUG_MEM_COUNTER % DEBUG_MEM_INTERVAL == 0) { DEBUG_MEM_COUNTER = 0; ReferenceCleanser.clearSoftCaches(); System.err.println(flowGraph.spaceReport()); System.err.println("Analyze leaks.."); HeapTracer.traceHeap(Collections.singleton(this), true); System.err.println("done analyzing leaks"); } } if (getFixedPointSystem() instanceof VerboseAction) { ((VerboseAction) getFixedPointSystem()).performVerboseAction(); } if (!workList.isEmpty()) { AbstractStatement s = workList.takeStatement(); System.err.println(printRHSInstances(s)); workList.insertStatement(s); System.err.println("CGNodes: " + cg.getNumberOfNodes()); } }
@Override public void performVerboseAction() { super.performVerboseAction(); if (DEBUG_MEMORY) { DEBUG_MEM_COUNTER++; if (DEBUG_MEM_COUNTER % DEBUG_MEM_INTERVAL == 0) { DEBUG_MEM_COUNTER = 0; ReferenceCleanser.clearSoftCaches(); System.err.println(flowGraph.spaceReport()); System.err.println("Analyze leaks.."); HeapTracer.traceHeap(Collections.singleton(this), true); System.err.println("done analyzing leaks"); } } if (getFixedPointSystem() instanceof VerboseAction) { ((VerboseAction) getFixedPointSystem()).performVerboseAction(); } if (!workList.isEmpty()) { AbstractStatement s = workList.takeStatement(); System.err.println(printRHSInstances(s)); workList.insertStatement(s); System.err.println("CGNodes: " + cg.getNumberOfNodes()); } }