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.
|
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, verify
public void invalidReturnTypeError(Type returnedType, MethodGen m)
StructuralCodeConstraintException
- alwayspublic VerificationResult do_verify()
do_verify
in class PassVerifier
LocalVariablesInfo
,
Pass2Verifier.getLocalVariablesInfo(int)
public int getMethodNo()
Copyright © 2004–2019 The Apache Software Foundation. All rights reserved.