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