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