| org.apache.bcel.verifier.structurals.ModifiedPass3bVerifier
| ModifiedPass3bVerifier | | final public class ModifiedPass3bVerifier extends PassVerifier (Code) | | 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.
version:
$Id: ModifiedPass3bVerifier.java,v 1.3 2007-11-08 17:22:56 ebruneton Exp $
author:
Enver Haase
See Also: ModifiedPass3bVerifier.do_verify() |
| Constructor Summary | |
| public | ModifiedPass3bVerifier(JavaClass jc, int method_no)
This class should only be instantiated by a Verifier. |
| Method Summary | |
| public VerificationResult | do_verify()
Pass 3b implements the data flow analysis as described in the Java Virtual
Machine Specification, Second Edition. | | public int | getMethodNo()
Returns the method number as supplied when instantiating. |
| ModifiedPass3bVerifier | | public ModifiedPass3bVerifier(JavaClass jc, int method_no)(Code) | | This class should only be instantiated by a Verifier.
See Also: org.apache.bcel.verifier.Verifier |
| do_verify | | public VerificationResult do_verify()(Code) | | 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].
See Also: org.apache.bcel.verifier.statics.LocalVariablesInfo
See Also: org.apache.bcel.verifier.statics.Pass2Verifier.getLocalVariablesInfo(int) |
| getMethodNo | | public int getMethodNo()(Code) | | Returns the method number as supplied when instantiating.
|
|
|