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:

Serializable

Direct Known Subclasses:

InvariantViolationException, PostconditionViolationException, PreconditionViolationException

public abstract class ContractException
extends RuntimeException

One or more conditions have been violated.

See Also:

Serialized Form

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ContractException(String message, int in_violations) Construct an exception.

Method Summary

Modifier and Type	Method and 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(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).