StaticCodeConstraintException
, StructuralCodeConstraintException
public abstract class CodeConstraintException extends VerificationException
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
extendMessage, getMessage