Classes

• ViolationTracker

Exceptions

• CircularAssertionCallException

Errors

• AssertionViolation
• ClassInvariantViolation
• PostconditionViolation
• PreconditionViolation