com.google.java.contract

Class PostconditionError

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

com.google.java.contract.ContractAssertionError

com.google.java.contract.PostconditionError

All Implemented Interfaces:

java.io.Serializable

public class PostconditionError
extends ContractAssertionError

An exception thrown when a postcondition is violated.

See Also:

Ensures, Serialized Form

Constructor Summary

Constructors

Constructor and Description
PostconditionError(java.lang.String msg) Constructs a new PostconditionError.
PostconditionError(java.lang.String msg, java.lang.Throwable throwable) Constructs a new PostconditionError.

Method Summary

Methods

Modifier and Type	Method and Description
protected 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 com.google.java.contract.ContractAssertionError

getMessages

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

PostconditionError

public PostconditionError(java.lang.String msg)

Constructs a new PostconditionError.

Parameters:

msg - the error message.

PostconditionError

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

Constructs a new PostconditionError.

Parameters:

msg - the error message.

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

Method Detail

getMethodName

protected java.lang.String getMethodName(java.lang.String contractedName)

Description copied from class: ContractAssertionError

Returns the method name to show in the stack trace instead of the generated method name for the contract.

Specified by:

getMethodName in class ContractAssertionError