com.google.java.contract

Class SpecificationError

java.lang.Object

java.lang.Throwable

java.lang.Error

com.google.java.contract.SpecificationError

All Implemented Interfaces:

java.io.Serializable

public class SpecificationError
extends java.lang.Error

An error in contract annotation usage.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SpecificationError(java.lang.String msg) Constructs a new SpecificationError.

Method Summary

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

SpecificationError

@Ensures(value="msg == null || msg.equals(getMessage())")
public SpecificationError(java.lang.String msg)

Constructs a new SpecificationError.

Parameters:

msg - the error message.