Module com.io7m.jaffirm.core

Package com.io7m.jaffirm.core

Class PostconditionViolationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.io7m.jaffirm.core.ContractException

com.io7m.jaffirm.core.PostconditionViolationException

All Implemented Interfaces:

Serializable

public final class PostconditionViolationException
extends ContractException

One or more postconditions have been violated.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
PostconditionViolationException(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.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Constructor Detail

PostconditionViolationException

public PostconditionViolationException(String message,
                                       int in_violations)

Construct an exception.

Parameters:

message - The message

in_violations - The number of violated conditions