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.
PostconditionViolationException(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

PostconditionViolationException

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

Construct an exception.

Parameters:

cause - The cause

message - The message

in_violations - The number of violated conditions

PostconditionViolationException

public PostconditionViolationException(String message,
 int in_violations)

Construct an exception.

Parameters:

message - The message

in_violations - The number of violated conditions