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

- Packages that use VerificationResult
  Package | Description
  --- | ---
  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
    Modifier and Type | Field and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `VerificationResult` | Pass1Verifier.`do_verify()` Pass-one verification basically means loading in a class file.
    `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.

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

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

Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.