Package org.apache.groovy.contracts
-
Class Summary Class Description ViolationTracker A violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order. -
Exception Summary Exception Description CircularAssertionCallException Thrown whenever pre- or post-conditions are called in a cyclic way. -
Error Summary Error Description AssertionViolation Abstract base class for all assertion violations.ClassInvariantViolation Thrown whenever a class invariant violation occurs.PostconditionViolation Thrown whenever a postcondition violation occurs.PreconditionViolation Thrown whenever a precondition violation occurs.