Class LinkingConstraintException

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

org.apache.bcel.verifier.exc.LinkingConstraintException

All Implemented Interfaces:

Serializable

public class LinkingConstraintException
extends 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 constraint that is usually only verified at run-time (pass 4). The Java Virtual Machine Specification, 2nd edition, states that certain constraints are usually verified at run-time for performance reasons (the verification of those constraints requires loading in and recursively verifying referenced classes) that conceptually belong to pass 3; to be precise, that conceptually belong to the data flow analysis of pass 3 (called pass 3b in JustIce). These are the checks necessary for resolution: Compare pages 142-143 ("4.9.1 The Verification Process") and pages 50-51 ("2.17.3 Linking: Verification, Preparation, and Resolution") of the above mentioned book. TODO: At this time, this class is not used in JustIce.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
LinkingConstraintException()	Constructs a new LinkingConstraintException.

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

LinkingConstraintException

public LinkingConstraintException()

Constructs a new LinkingConstraintException.