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

Uses in package org.apache.bcel.verifier.structurals

Methods with parameter type org.apache.bcel.verifier.structurals.ExecutionVisitor

void
Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].
boolean
"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 executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
This method symbolically executes the Instruction held in the InstructionContext.