public abstract class CodeConstraintException extends VerificationException
| Constructor and Description |
|---|
CodeConstraintException()
Constructs a new CodeConstraintException with null as its error message string.
|
CodeConstraintException(String message)
Constructs a new CodeConstraintException with the specified error message.
|
extendMessage, getMessageaddSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringCodeConstraintException()
CodeConstraintException(String message)