Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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