Package 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	Description
InvariantViolationException(String message, int in_violations)	Construct an exception.
InvariantViolationException(String message, Throwable cause, 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 Details

InvariantViolationException

public InvariantViolationException(String message,
 Throwable cause,
 int in_violations)

Construct an exception.

Parameters:

cause - The cause

message - The message

in_violations - The number of violated conditions

InvariantViolationException

public InvariantViolationException(String message,
 int in_violations)

Construct an exception.

Parameters:

message - The message

in_violations - The number of violated conditions