| ClassConstraintException | 
 Instances of this class are thrown by BCEL's class file verifier "JustIce"
 when a class file to verify does not pass the verification pass 2 as described
 in the Java Virtual Machine specification, 2nd edition. 
 | 
| CodeConstraintException | 
 Instances of this class are thrown by BCEL's class file verifier "JustIce" when
 a class file does not pass the verification pass 3. 
 | 
| StaticCodeConstraintException | 
 Instances of this class are thrown by BCEL's class file verifier "JustIce" when
 a class file to verify does not pass the verification pass 3 because of a violation
 of a static constraint as described in the Java Virtual Machine Specification,
 2nd edition, 4.8.1, pages 133-137. 
 | 
| StructuralCodeConstraintException | 
 Instances of this class are thrown by BCEL's class file verifier "JustIce" when
 a class file to verify does not pass the verification pass 3 because of a violation
 of a structural constraint as described in the Java Virtual Machine Specification,
 2nd edition, 4.8.2, pages 137-139. 
 | 
| VerificationException | 
 Instances of this class are thrown by BCEL's class file verifier "JustIce" when a
 class file to verify does not pass one of the verification passes 2 or 3. 
 | 
| VerifierConstraintViolatedException | 
 Instances of this class are thrown by BCEL's class file verifier "JustIce"
 whenever
 verification proves that some constraint of a class file (as stated in the
 Java Virtual Machine Specification, Edition 2) is violated. 
 |