Class StructuralCodeConstraintException

  • All Implemented Interfaces:
    java.io.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.
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      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.
    • Method Summary

      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, 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​(java.lang.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.