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<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)	This method symbolically executes the Instruction held in the InstructionContext.