com.google.java.contract

Class InvariantError

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

com.google.java.contract.ContractAssertionError

com.google.java.contract.InvariantError

All Implemented Interfaces:

java.io.Serializable

public class InvariantError
extends ContractAssertionError

An exception thrown when a class invariant is violated.

See Also:

Invariant, Serialized Form

Constructor Summary

Constructors

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

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

InvariantError

public InvariantError(java.lang.String msg)

Constructs a new InvariantError.

Parameters:

msg - the error message.

InvariantError

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

Constructs a new InvariantError.

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