org.apache.bcel.verifier.structurals
public final class Pass3bVerifier extends PassVerifier
Version: $Id: Pass3bVerifier.java 384759 2006-03-10 10:38:59Z tcurdt $
See Also: do_verify
Nested Class Summary | |
---|---|
static class | Pass3bVerifier.InstructionContextQueue
An InstructionContextQueue is a utility class that holds
(InstructionContext, ArrayList) pairs in a Queue data structure.
|
Field Summary | |
---|---|
static boolean | DEBUG In DEBUG mode, the verification algorithm is not randomized. |
int | method_no The method number to verify. |
Verifier | myOwner The Verifier that created this. |
Constructor Summary | |
---|---|
Pass3bVerifier(Verifier owner, int method_no)
This class should only be instantiated by a Verifier.
|
Method Summary | |
---|---|
void | circulationPump(ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev)
Whenever the outgoing frame
situation of an InstructionContext changes, all its successors are
put [back] into the queue [as if they were unvisited].
|
VerificationResult | do_verify()
Pass 3b implements the data flow analysis as described in the Java Virtual
Machine Specification, Second Edition.
|
int | getMethodNo() Returns the method number as supplied when instantiating. |
See Also: Verifier
See Also: LocalVariablesInfo Pass2Verifier