public final class Pass3aVerifier extends PassVerifier
do_verify()
Constructor | Description |
---|---|
Pass3aVerifier(Verifier owner,
int method_no) |
Should only be instantiated by a Verifier.
|
Modifier and Type | Method | Description |
---|---|---|
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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addMessage, getMessages, verify
public Pass3aVerifier(Verifier owner, int method_no)
public VerificationResult do_verify()
do_verify
in class PassVerifier
InvalidMethodException
- if the method to verify does not exist.public int getMethodNo()