Uses of Class
org.apache.bcel.verifier.structurals.ControlFlowGraph
-
Packages that use ControlFlowGraph Package Description org.apache.bcel.verifier.structurals A PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect. -
-
Uses of ControlFlowGraph in org.apache.bcel.verifier.structurals
Methods in org.apache.bcel.verifier.structurals with parameters of type ControlFlowGraph Modifier and Type Method Description private void
Pass3bVerifier. circulationPump(MethodGen m, ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev)
Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].
-