Class Summary Class Description ViolationTrackerA violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order.
Exception Summary Exception Description CircularAssertionCallExceptionThrown whenever pre- or post-conditions are called in a cyclic way.
Error Summary Error Description AssertionViolationAbstract base class for all assertion violations. ClassInvariantViolationThrown whenever a class invariant violation occurs. PostconditionViolationThrown whenever a postcondition violation occurs. PreconditionViolationThrown whenever a precondition violation occurs.