Contained in this package are Exception classes for use with the JustIce verifier.
| Modifier and Type | Class and Description |
|---|---|
| public class | AssertionViolatedException
Instances of this class should never be thrown. |
| public class | 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. |
| public abstract class | 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. |
| public class | 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. |
| public class | 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). |
| public class | 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. |
| public class | 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. |
| public abstract class | 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. |
| public class | 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. |
| public class | 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. |
| public class | 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. |
| public class | Utility
A utility class providing convenience methods concerning Throwable instances. |
| public abstract class | 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. |
| public abstract class | 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. |