| 
 | |||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| 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_NOTYETCanonical VerificationResult for not-yet-tried verifications. | 
| static VerificationResult | VerificationResult.VR_OKCanonical 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. | 
| 
 | |||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||