## Package org.apache.bcel.verifier.exc

Exception classes used by JustIce, mostly used internally.

See:
Description

Class Summary
Utility: A utility class providing convenience methods concerning Throwable instances.

Exception Summary
AssertionViolatedException: Instances of this class should never be thrown.
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.
InvalidMethodException: Instances of this class are thrown by BCEL's class file verifier "JustIce" when the verification of a method is requested that does not exist.
LinkingConstraintException: 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 constraint that is usually only verified at run-time (pass 4).
LoadingException: When loading a class file, BCEL will throw an instance of LoadingException if the class file is malformed; so it is not conforming to the "Pass 1" verification process as described in the Java Virtual Machine specification, 2nd. edition.
LocalVariableInfoInconsistentException: A LocalVariableInfoInconsistentException instance is thrown by the LocalVariableInfo class when it detects that the information it holds is inconsistent; this is normally due to inconsistent LocalVariableTable entries in the Code attribute of a certain Method object.
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.
StaticCodeInstructionConstraintException: 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, Second edition, 4.8.1, pages 133-137.
StaticCodeInstructionOperandConstraintException: 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, Second 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.

## Package org.apache.bcel.verifier.exc Description

Exception classes used by JustIce, mostly used internally. You don't need to bother with them.

## Package Specification

Contained in this package are Exception classes for use with the JustIce verifier.

## Related Documentation

For a simple demonstration of JustIce working, please see:

- A WWW front-end for JustIce.

Copyright © 2002-2003 Apache Software Foundation. All Rights Reserved.