org.apache.bcel.verifier.exc
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.

Version:

$Id: LinkingConstraintException.java 371539 2006-01-23 14:08:00Z tcurdt $

See Also:

Serialized Form

Constructor Summary

LinkingConstraintException()

Method Summary

Methods inherited from class org.apache.bcel.verifier.exc.VerifierConstraintViolatedException

extendMessage, getMessage

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LinkingConstraintException

public LinkingConstraintException()