public abstract class ContractAssertionError
extends java.lang.AssertionError
| Constructor and Description |
|---|
ContractAssertionError(java.lang.String msg)
Constructs a new ContractAssertionError.
|
ContractAssertionError(java.lang.String msg,
ContractAssertionError cause)
Constructs a new ContractAssertionError.
|
ContractAssertionError(java.lang.String msg,
ContractAssertionError cause,
java.lang.Throwable throwable)
Constructs a new ContractAssertionError.
|
ContractAssertionError(java.lang.String msg,
java.lang.Throwable throwable)
Constructs a new ContractAssertionError.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<java.lang.String> |
getMessages() |
protected abstract java.lang.String |
getMethodName(java.lang.String contractedName)
Returns the method name to show in the stack trace instead of the
generated method name for the contract.
|
public ContractAssertionError(java.lang.String msg)
msg - the error message.public ContractAssertionError(java.lang.String msg,
java.lang.Throwable throwable)
msg - the error message.throwable - the throwable caught while evaluating contracts, or null
for none.public ContractAssertionError(java.lang.String msg,
ContractAssertionError cause)
msg - the error message.cause - a previous contract errorpublic ContractAssertionError(java.lang.String msg,
ContractAssertionError cause,
java.lang.Throwable throwable)
msg - the error message.cause - a previous contract errorthrowable - the throwable caught while evaluating contracts, or null
for none.