com.google.java.contract

Class PreconditionError

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

com.google.java.contract.ContractAssertionError

com.google.java.contract.PreconditionError

All Implemented Interfaces:

java.io.Serializable

public class PreconditionError
extends ContractAssertionError

An exception thrown when a precondition is violated.

See Also:

Requires, Serialized Form

Constructor Summary

Constructors

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

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

PreconditionError

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

Constructs a new PreconditionError.

Parameters:

msg - the error message.

cause - a previously failing precondition

PreconditionError

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

Constructs a new PreconditionError.

Parameters:

msg - the error message.

cause - a previously failing precondition

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