org.apache.bcel.verifier.structurals
Class Pass3bVerifier
public final class Pass3bVerifier
This PassVerifier verifies a method of class file according to pass 3,
so-called structural verification as described in The Java Virtual Machine
Specification, 2nd edition.
More detailed information is to be found at the do_verify() method's
documentation.
$Id: Pass3bVerifier.java,v 1.3 2002/07/04 21:44:42 enver Exp $
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.
|
Pass3bVerifier
public Pass3bVerifier(Verifier owner,
int method_no)
This class should only be instantiated by a Verifier.
do_verify
public VerificationResult do_verify()
Pass 3b implements the data flow analysis as described in the Java Virtual
Machine Specification, Second Edition.
Later versions will use LocalVariablesInfo objects to verify if the
verifier-inferred types and the class file's debug information (LocalVariables
attributes) match [TODO].
- do_verify in interface PassVerifier
getMethodNo
public int getMethodNo()
Returns the method number as supplied when instantiating.