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.