bcel API: Class Pass3bVerifier

org.apache.bcel.verifier.structurals
Class Pass3bVerifier

java.lang.Object
  |
  +--org.apache.bcel.verifier.PassVerifier
        |
        +--org.apache.bcel.verifier.structurals.Pass3bVerifier

public final class Pass3bVerifier
extends PassVerifier

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: Pass3bVerifier.java,v 1.2 2001/11/28 07:45:40 enver Exp $
Author:
Enver Haase
See Also:
do_verify()

Constructor Summary
Pass3bVerifier(Verifier owner, int method_no)
          This class should only be instantiated by a Verifier.
 
Method Summary
 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.
 
Methods inherited from class org.apache.bcel.verifier.PassVerifier
addMessage, getMessages, verify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Pass3bVerifier

public Pass3bVerifier(Verifier owner,
                      int method_no)
This class should only be instantiated by a Verifier.
See Also:
Verifier
Method Detail

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].
Overrides:
do_verify in class PassVerifier
See Also:
LocalVariablesInfo, Pass2Verifier.getLocalVariablesInfo(int)

getMethodNo

public int getMethodNo()
Returns the method number as supplied when instantiating.