Package com.tnsai.invariants

Class InvariantViolationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.tnsai.exceptions.TnsAIException

com.tnsai.invariants.InvariantViolationException

All Implemented Interfaces:

Serializable

public class InvariantViolationException
extends TnsAIException

Exception thrown when an invariant condition is violated.

This exception is thrown by

invalid reference

InvariantChecker

when a precondition, postcondition, or invariant evaluates to false.

Author:

TnsAI Team

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	InvariantViolationException.ViolationType

Constructor Summary

Constructors

Constructor	Description
InvariantViolationException(String invariant, String actionName, InvariantViolationException.ViolationType type)
InvariantViolationException(String invariant, String actionName, InvariantViolationException.ViolationType type, Object actualValue)

Method Summary

Modifier and Type	Method	Description
String	getActionName()
Object	getActualValue()
String	getInvariant()
InvariantViolationException.ViolationType	getType()

Methods inherited from class com.tnsai.exceptions.TnsAIException

getContext, getErrorCode, getMaxRetryAttempts, getMessage, getSuggestedRetryDelayMs, getThrownAt, isRetryable, wrap

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

InvariantViolationException

public InvariantViolationException(String invariant,
 String actionName,
 InvariantViolationException.ViolationType type)

InvariantViolationException

public InvariantViolationException(String invariant,
 String actionName,
 InvariantViolationException.ViolationType type,
 Object actualValue)

Method Details

getInvariant

public String getInvariant()

getActionName

public String getActionName()

getType

public InvariantViolationException.ViolationType getType()

getActualValue

public Object getActualValue()