Uses of Class
org.apache.bcel.verifier.structurals.ExecutionVisitor

Packages that use ExecutionVisitor

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 ExecutionVisitor in org.apache.bcel.verifier.structurals

Methods in org.apache.bcel.verifier.structurals with parameters of type ExecutionVisitor

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].
boolean	ControlFlowGraph.InstructionContextImpl.execute(Frame inFrame, ArrayList<InstructionContext> execPreds, InstConstraintVisitor icv, ExecutionVisitor ev)	"Merges in" (vmspec2, page 146) the "incoming" frame situation; executes the instructions symbolically and therefore calculates the "outgoing" frame situation.
boolean	InstructionContext.execute(Frame inFrame, ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)	This method symbolically executes the Instruction held in the InstructionContext.