Uses of Class
org.apache.bcel.verifier.VerificationResult

Packages that use VerificationResult
org.apache.bcel.verifier BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL. 
org.apache.bcel.verifier.statics Provides PassVerifier classes used internally by JustIce. 
org.apache.bcel.verifier.structurals Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect. 
 

Uses of VerificationResult in org.apache.bcel.verifier
 

Fields in org.apache.bcel.verifier declared as VerificationResult
static VerificationResult VerificationResult.VR_NOTYET
          Canonical VerificationResult for not-yet-tried verifications.
static VerificationResult VerificationResult.VR_OK
          Canonical VerificationResult for passed verifications.
 

Methods in org.apache.bcel.verifier that return VerificationResult
abstract  VerificationResult PassVerifier.do_verify()
          Does the real verification work, uncached.
 VerificationResult Verifier.doPass1()
          Returns the VerificationResult for the given pass.
 VerificationResult Verifier.doPass2()
          Returns the VerificationResult for the given pass.
 VerificationResult Verifier.doPass3a(int method_no)
          Returns the VerificationResult for the given pass.
 VerificationResult Verifier.doPass3b(int method_no)
          Returns the VerificationResult for the given pass.
 VerificationResult PassVerifier.verify()
          This method runs a verification pass conforming to the Java Virtual Machine Specification, 2nd edition, on a class file.
 

Uses of VerificationResult in org.apache.bcel.verifier.statics
 

Methods in org.apache.bcel.verifier.statics that return VerificationResult
 VerificationResult Pass3aVerifier.do_verify()
          Pass 3a is the verification of static constraints of JVM code (such as legal targets of branch instructions).
 VerificationResult Pass2Verifier.do_verify()
          Pass 2 is the pass where static properties of the class file are checked without looking into "Code" arrays of methods.
 VerificationResult Pass1Verifier.do_verify()
          Pass-one verification basically means loading in a class file.
 

Uses of VerificationResult in org.apache.bcel.verifier.structurals
 

Methods in org.apache.bcel.verifier.structurals that return VerificationResult
 VerificationResult Pass3bVerifier.do_verify()
          Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.
 



Copyright © 2002-2006 Apache Software Foundation. All Rights Reserved.