Package org.apache.groovy.contracts.util

package org.apache.groovy.contracts.util

Utility functions and helper classes for contract processing and validation.

Related Packages

Package	Description
org.apache.groovy.contracts	Provides Design by Contract (DbC) support for Groovy classes and methods.
org.apache.groovy.contracts.ast	AST transformations for implementing Design by Contract semantics, including precondition, postcondition, and invariant validation transformations.
org.apache.groovy.contracts.domain	Domain model classes representing contract elements such as preconditions, postconditions, and class invariants.
org.apache.groovy.contracts.generation	Code generation and transformation utilities for producing runtime contract validation code.

Classes

Class	Description
AnnotationUtils	Helper methods for reading/getting AnnotationNode instances.
ExpressionUtils	Internal utility class for extracting a boolean expression from the given expression or statement.
FieldValues	This utility is meant to be used to replace direct calls to private field variables in class invariants.
LifecycleImplementationLoader<S>	Finds and loads implementation classes of interface Lifecycle.
Validate	Internal utility class for in-code assertion checks.