public final class Pass3bVerifier extends PassVerifier
do_verify()| Constructor and Description |
|---|
Pass3bVerifier(Verifier myOwner,
int methodNo)
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.
|
void |
invalidReturnTypeError(Type returnedType,
MethodGen m)
Throws an exception indicating the returned type is not compatible with the return type of the given method.
|
addMessage, getMessages, getMessagesList, verifypublic Pass3bVerifier(Verifier myOwner, int methodNo)
Verifierpublic VerificationResult do_verify()
do_verify in class PassVerifierLocalVariablesInfo,
Pass2Verifier.getLocalVariablesInfo(int)public int getMethodNo()
public void invalidReturnTypeError(Type returnedType, MethodGen m)
returnedType - the type of the returned expressionm - the method we are processingStructuralCodeConstraintException - alwaysCopyright © 2004–2022 The Apache Software Foundation. All rights reserved.