Uses of Enum Class
com.tnsai.invariants.InvariantViolationException.ViolationType

Packages that use InvariantViolationException.ViolationType

Package	Description
com.tnsai.invariants	Invariant checking framework for runtime state verification.

Uses of InvariantViolationException.ViolationType in com.tnsai.invariants

Methods in com.tnsai.invariants that return InvariantViolationException.ViolationType

Modifier and Type	Method	Description
InvariantViolationException.ViolationType	InvariantViolationException.getType()
static InvariantViolationException.ViolationType	InvariantViolationException.ViolationType.valueOf(String name)	Returns the enum constant of this class with the specified name.
static InvariantViolationException.ViolationType[]	InvariantViolationException.ViolationType.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Constructors in com.tnsai.invariants with parameters of type InvariantViolationException.ViolationType

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