| java.lang.Object
 org.aspectj.apache.bcel.verifier.structurals.ModifiedPass3bVerifier
| ModifiedPass3bVerifier | | final public class ModifiedPass3bVerifier (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.1.2.1 2005/09/16 07:19:38
version:
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.
Parameters:
jc -
Parameters:
method_no -
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].
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.
TODO |
|
|