org.apache.bcel.verifier.structurals
public final class Pass3bVerifier extends PassVerifier
do_verify()
Modifier and Type | Class and Description |
---|---|
private static class |
Pass3bVerifier.InstructionContextQueue
An InstructionContextQueue is a utility class that holds
(InstructionContext, ArrayList) pairs in a Queue data structure.
|
Modifier and Type | Field and Description |
---|---|
private static boolean |
DEBUG
In DEBUG mode, the verification algorithm is not randomized.
|
private int |
method_no
The method number to verify.
|
private Verifier |
myOwner
The Verifier that created this.
|
Constructor and Description |
---|
Pass3bVerifier(Verifier owner,
int method_no)
This class should only be instantiated by a Verifier.
|
Modifier and Type | Method and Description |
---|---|
private 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.
|
addMessage, getMessages, verify
private static final boolean DEBUG
private Verifier myOwner
private int method_no
private void circulationPump(ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev)
public VerificationResult do_verify()
do_verify
in class PassVerifier
LocalVariablesInfo
,
Pass2Verifier.getLocalVariablesInfo(int)
public int getMethodNo()