Package org.apache.bcel.verifier.exc
Class StructuralCodeConstraintException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- org.apache.bcel.verifier.exc.VerifierConstraintViolatedException
-
- org.apache.bcel.verifier.exc.VerificationException
-
- org.apache.bcel.verifier.exc.CodeConstraintException
-
- org.apache.bcel.verifier.exc.StructuralCodeConstraintException
-
- All Implemented Interfaces:
java.io.Serializable
- Direct Known Subclasses:
LinkingConstraintException
public class StructuralCodeConstraintException extends CodeConstraintException
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. Note that the notion of a "structural" constraint is somewhat misleading. Structural constraints are constraints on relationships between Java virtual machine instructions. These are the constraints where data-flow analysis is needed to verify if they hold. The data flow analysis of pass 3 is called pass 3b in JustIce.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description StructuralCodeConstraintException()
Constructs a new StructuralCodeConstraintException with null as its error message string.StructuralCodeConstraintException(java.lang.String message)
Constructs a new StructuralCodeConstraintException with the specified error message.
-
Method Summary
-
Methods inherited from class org.apache.bcel.verifier.exc.VerifierConstraintViolatedException
extendMessage, getMessage
-
-
-
-
Constructor Detail
-
StructuralCodeConstraintException
public StructuralCodeConstraintException(java.lang.String message)
Constructs a new StructuralCodeConstraintException with the specified error message.
-
StructuralCodeConstraintException
public StructuralCodeConstraintException()
Constructs a new StructuralCodeConstraintException with null as its error message string.
-
-