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

Uses in package org.apache.bcel.verifier

Fields of type org.apache.bcel.verifier.VerificationResult

VerificationResult
Canonical VerificationResult for not-yet-tried verifications.
VerificationResult
Canonical VerificationResult for passed verifications.

Methods with return type org.apache.bcel.verifier.VerificationResult

VerificationResult
Returns the VerificationResult for the given pass.
VerificationResult
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
Does the real verification work, uncached.
VerificationResult
This method runs a verification pass conforming to the Java Virtual Machine Specification, 2nd edition, on a class file.

Uses in package org.apache.bcel.verifier.statics

Methods with return type org.apache.bcel.verifier.VerificationResult

VerificationResult
Pass-one verification basically means loading in a class file.
VerificationResult
Pass 2 is the pass where static properties of the class file are checked without looking into "Code" arrays of methods.
VerificationResult
Pass 3a is the verification of static constraints of JVM code (such as legal targets of branch instructions).

Uses in package org.apache.bcel.verifier.structurals

Methods with return type org.apache.bcel.verifier.VerificationResult

VerificationResult
Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.