Uses of Class
org.apache.bcel.verifier.structurals.InstConstraintVisitor
-
Packages that use InstConstraintVisitor Package Description org.apache.bcel.verifier.structurals Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect. -
-
Uses of InstConstraintVisitor in org.apache.bcel.verifier.structurals
Methods in org.apache.bcel.verifier.structurals with parameters of type InstConstraintVisitor Modifier and Type Method Description boolean
InstructionContext. execute(Frame inFrame, java.util.ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
This method symbolically executes the Instruction held in the InstructionContext.
-