Classes

• MethodVariantSupport
• ThrowsIfSupport
• VariantSupport
• ViolationTracker

Exceptions

• CircularAssertionCallException

Errors

• AssertionViolation
• ClassInvariantViolation
• LoopInvariantViolation
• LoopVariantViolation
• PostconditionViolation
• PreconditionViolation
• RecursionVariantViolation
• ThrowsIfViolation