com.io7m.jaffirm.core

Class InvariantViolationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.io7m.jaffirm.core.ContractException

com.io7m.jaffirm.core.InvariantViolationException

All Implemented Interfaces:

Serializable

public final class InvariantViolationException
extends ContractException

One or more invariants have been violated.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
InvariantViolationException(String message, int in_violations) Construct an exception.

Method Summary

Methods inherited from class com.io7m.jaffirm.core.ContractException

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

InvariantViolationException

public InvariantViolationException(String message,
                                   int in_violations)

Construct an exception.

Parameters:

message - The message

in_violations - The number of violated conditions