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:
Serializable
- Direct Known Subclasses:
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 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:
-
Constructor Summary
ConstructorDescriptionConstructs a new StructuralCodeConstraintException with null as its error message string.StructuralCodeConstraintException
(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
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
StructuralCodeConstraintException
public StructuralCodeConstraintException()Constructs a new StructuralCodeConstraintException with null as its error message string. -
StructuralCodeConstraintException
Constructs a new StructuralCodeConstraintException with the specified error message.
-