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:
- java.io.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 $
- Author:
- Enver Haase
- See Also:
- Serialized Form
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 |
LinkingConstraintException
public LinkingConstraintException()