Uses of Class
org.apache.bcel.verifier.structurals.ExecutionVisitor
Package
Description
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
Modifier and TypeMethodDescriptionboolean
InstructionContext.execute
(Frame inFrame, ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev) This method symbolically executes the Instruction held in the InstructionContext.