Class StaticCodeConstraintException

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.StaticCodeConstraintException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

StaticCodeInstructionConstraintException, StaticCodeInstructionOperandConstraintException

public abstract class StaticCodeConstraintException
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 static constraint as described in the Java Virtual Machine Specification, 2nd edition, 4.8.1, pages 133-137. The static constraints checking part of pass 3 is called pass 3a in JustIce.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
StaticCodeConstraintException(String message)	Constructs a StaticCodeConstraintException.

Method Summary

Methods inherited from class VerifierConstraintViolatedException

extendMessage, getMessage

Modifier and Type	Method	Description
void	extendMessage(String pre, String post)	Extends the error message with a string before ("pre") and after ("post") the 'old' error message.
String	getMessage()	Gets the error message string of this VerifierConstraintViolatedException object.

Methods inherited from class Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

StaticCodeConstraintException

public StaticCodeConstraintException(String message)

Constructs a StaticCodeConstraintException.

Parameters:

message - The exception message.