# 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
PassVerifier classes used internally by JustIce.
org.apache.bcel.verifier.structurals
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
  Description
  `static final VerificationResult`
  VerificationResult.`VR_NOTYET`
  Canonical VerificationResult for not-yet-tried verifications.
  `static final VerificationResult`
  VerificationResult.`VR_OK`
  Canonical VerificationResult for passed verifications.
  Methods in org.apache.bcel.verifier that return VerificationResult
  Modifier and Type
  Method
  Description
  `abstract VerificationResult`
  PassVerifier.`do_verify()`
  Verifies, not cached.
  `VerificationResult`
  Verifier.`doPass1()`
  Returns the VerificationResult for the given pass.
  `VerificationResult`
  Verifier.`doPass2()`
  Returns the VerificationResult for the given pass.
  `VerificationResult`
  Verifier.`doPass3a(int methodNo)`
  Returns the VerificationResult for the given pass.
  `VerificationResult`
  Verifier.`doPass3b(int methodNo)`
  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
  Description
  `VerificationResult`
  Pass1Verifier.`do_verify()`
  Pass-one verification basically means loading in a class file.
  `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`
  Pass3aVerifier.`do_verify()`
  Pass 3a is the verification of static constraints of JVM code (such as legal targets of branch instructions).

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

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