|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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
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.
Constructor Summary | |
StructuralCodeConstraintException()
Constructs a new StructuralCodeConstraintException with null as its error message string. |
|
StructuralCodeConstraintException(java.lang.String message)
Constructs a new StructuralCodeConstraintException with the specified error message. |
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 |
public StructuralCodeConstraintException(java.lang.String message)
public StructuralCodeConstraintException()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |