de.fub.bytecode.verifier.exc
Class StaticCodeConstraintException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--de.fub.bytecode.verifier.exc.VerifierConstraintViolatedException
                          |
                          +--de.fub.bytecode.verifier.exc.VerificationException
                                |
                                +--de.fub.bytecode.verifier.exc.CodeConstraintException
                                      |
                                      +--de.fub.bytecode.verifier.exc.StaticCodeConstraintException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

StaticCodeInstructionConstraintException, StaticCodeInstructionOperandConstraintException

public abstract class StaticCodeConstraintException

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 static constraint as described in the Java Virtual Machine Specification, 2nd edition, 4.8.1, pages 133-137. The static constraints checking part of pass 3 is called pass 3a in JustIce.

Version:

$Id: StaticCodeConstraintException.java,v 1.7 2001/08/30 08:45:42 ehaase Exp $

Author:

Enver Haase

See Also:

Serialized Form

Constructor Summary

StaticCodeConstraintException(java.lang.String message)

Methods inherited from class de.fub.bytecode.verifier.exc.VerifierConstraintViolatedException

extendMessage, getMessage

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticCodeConstraintException

public StaticCodeConstraintException(java.lang.String message)