Package org.apache.groovy.contracts
package org.apache.groovy.contracts
-
ClassDescriptionAbstract base class for all assertion violations.Thrown whenever pre- or post-conditions are called in a cyclic way.Thrown whenever a class invariant violation occurs.Thrown whenever a postcondition violation occurs.Thrown whenever a precondition violation occurs.A violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order.