Package org.apache.bcel.verifier.exc

package org.apache.bcel.verifier.exc

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 Packages

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.

Class	Description
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.
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.
Utility	A utility class providing convenience methods concerning Throwable instances.
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.