public final class Pass3bVerifier extends PassVerifier
do_verify()
Constructor | Description |
---|---|
Pass3bVerifier(Verifier owner,
int method_no) |
This class should only be instantiated by a Verifier.
|
Modifier and Type | Method | Description |
---|---|---|
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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addMessage, getMessages, verify
public VerificationResult do_verify()
do_verify
in class PassVerifier
LocalVariablesInfo
,
Pass2Verifier.getLocalVariablesInfo(int)
public int getMethodNo()