Package com.io7m.jaffirm.core

Class PreconditionViolationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.io7m.jaffirm.core.ContractException

com.io7m.jaffirm.core.PreconditionViolationException

All Implemented Interfaces:

Serializable

public final class PreconditionViolationException
extends ContractException

One or more checkPreconditions have been violated.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
PreconditionViolationException(String message, int in_violations)	Construct an exception.
PreconditionViolationException(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

PreconditionViolationException

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

Construct an exception.

Parameters:

cause - The cause

message - The message

in_violations - The number of violated conditions

PreconditionViolationException

public PreconditionViolationException(String message,
 int in_violations)

Construct an exception.

Parameters:

message - The message

in_violations - The number of violated conditions