## 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
`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.
`abstract VerificationResult` `PassVerifier.do_verify()` Does the real verification work, uncached.

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-2003 Apache Software Foundation. All Rights Reserved.