org.apache.bcel.verifier.statics
public final class Pass3aVerifier extends PassVerifier
Version: $Id: Pass3aVerifier.java 386056 2006-03-15 11:31:56Z tcurdt $
See Also: do_verify
Nested Class Summary | |
---|---|
class | Pass3aVerifier.InstOperandConstraintVisitor
This visitor class does the actual checking for the instruction
operand's constraints. |
Field Summary | |
---|---|
Code | code The one and only Code object used by an instance of this class. |
InstructionList | instructionList The one and only InstructionList object used by an instance of this class. |
int | method_no
The method number to verify.
|
Verifier | myOwner The Verifier that created this. |
Constructor Summary | |
---|---|
Pass3aVerifier(Verifier owner, int method_no) Should only be instantiated by a Verifier. |
Method Summary | |
---|---|
static boolean | contains(int[] ints, int i) A small utility method returning if a given int i is in the given int[] ints. |
void | delayedPass2Checks()
These are the checks that could be done in pass 2 but are delayed to pass 3
for performance reasons. |
VerificationResult | do_verify()
Pass 3a is the verification of static constraints of
JVM code (such as legal targets of branch instructions).
|
int | getMethodNo() Returns the method number as supplied when instantiating. |
void | pass3StaticInstructionChecks()
These are the checks if constraints are satisfied which are described in the
Java Virtual Machine Specification, Second Edition as Static Constraints on
the instructions of Java Virtual Machine Code (chapter 4.8.1).
|
void | pass3StaticInstructionOperandsChecks()
These are the checks for the satisfaction of constraints which are described in the
Java Virtual Machine Specification, Second Edition as Static Constraints on
the operands of instructions of Java Virtual Machine Code (chapter 4.8.1).
|
Throws: ClassConstraintException if the verification fails.
See Also: do_verify
Throws: InvalidMethodException if the method to verify does not exist.
Throws: StaticCodeConstraintException if the verification fails.
Throws: StaticCodeConstraintException if the verification fails.