# 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
  PassVerifier classes used internally by JustIce.
  org.apache.bcel.verifier.structurals
  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.