| 
 | |||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ExecutionVisitor | |
| 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 ExecutionVisitor in org.apache.bcel.verifier.structurals | 
| Methods in org.apache.bcel.verifier.structurals with parameters of type ExecutionVisitor | |
|  boolean | InstructionContext.execute(Frame inFrame,
        java.util.ArrayList executionPredecessors,
        InstConstraintVisitor icv,
        ExecutionVisitor ev)This method symbolically executes the Instruction held in the InstructionContext. | 
| 
 | |||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||