com.google.java.contract

Class ContractAssertionError

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

com.google.java.contract.ContractAssertionError

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

InvariantError, PostconditionError, PreconditionError

public abstract class ContractAssertionError
extends java.lang.AssertionError

Base class for contract assertion errors. You should generally not catch this.

See Also:

Serialized Form

Constructor Summary

Constructors

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.

Method Summary

Methods

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.

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

ContractAssertionError

public ContractAssertionError(java.lang.String msg)

Constructs a new ContractAssertionError.

Parameters:

msg - the error message.

ContractAssertionError

public ContractAssertionError(java.lang.String msg,
                      java.lang.Throwable throwable)

Constructs a new ContractAssertionError.

Parameters:

msg - the error message.

throwable - the throwable caught while evaluating contracts, or null for none.

ContractAssertionError

public ContractAssertionError(java.lang.String msg,
                      ContractAssertionError cause)

Constructs a new ContractAssertionError.

Parameters:

msg - the error message.

cause - a previous contract error

ContractAssertionError

public ContractAssertionError(java.lang.String msg,
                      ContractAssertionError cause,
                      java.lang.Throwable throwable)

Constructs a new ContractAssertionError.

Parameters:

msg - the error message.

cause - a previous contract error

throwable - the throwable caught while evaluating contracts, or null for none.

Method Detail

getMessages

public java.util.List<java.lang.String> getMessages()

getMethodName

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.