Package com.io7m.jaffirm.core

Class ContractException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.io7m.jaffirm.core.ContractException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

InvariantViolationException, PostconditionViolationException, PreconditionViolationException

public abstract class ContractException
extends java.lang.RuntimeException

One or more conditions have been violated.

See Also:

Serialized Form

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ContractException(java.lang.String message, int in_violations)	Construct an exception.
protected	ContractException(java.lang.String message, java.lang.Throwable cause, int in_violations)	Construct an exception.

Method Summary

Modifier and Type	Method	Description
int	violations()

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

ContractException

protected ContractException(java.lang.String message,
                            java.lang.Throwable cause,
                            int in_violations)

Construct an exception.

Parameters:

cause - The cause

message - The message

in_violations - The number of violated conditions

ContractException

protected ContractException(java.lang.String message,
                            int in_violations)

Construct an exception.

Parameters:

message - The message

in_violations - The number of violated conditions

Method Detail

violations

public final int violations()

Returns:

The number of violated conditions (must be > 0).