org.apache.bcel.verifier.exc
Class StructuralCodeConstraintException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by org.apache.bcel.verifier.exc.VerifierConstraintViolatedException
                  extended by org.apache.bcel.verifier.exc.VerificationException
                      extended by org.apache.bcel.verifier.exc.CodeConstraintException
                          extended by org.apache.bcel.verifier.exc.StructuralCodeConstraintException
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
LinkingConstraintException

public class StructuralCodeConstraintException
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 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.

Version:
$Id: StructuralCodeConstraintException.java 371539 2006-01-23 14:08:00Z tcurdt $
See Also:
Serialized Form

Constructor Summary
StructuralCodeConstraintException()
          Constructs a new StructuralCodeConstraintException with null as its error message string.
StructuralCodeConstraintException(String message)
          Constructs a new StructuralCodeConstraintException with the specified error message.
 
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

StructuralCodeConstraintException

public StructuralCodeConstraintException(String message)
Constructs a new StructuralCodeConstraintException with the specified error message.


StructuralCodeConstraintException

public StructuralCodeConstraintException()
Constructs a new StructuralCodeConstraintException with null as its error message string.



Copyright © 2002-2006 Apache Software Foundation. All Rights Reserved.