All Implemented Interfaces and Traits:

ASTTransformation

public class ModifiesASTTransformation
extends Object
implements ASTTransformation

Handles Modifies annotations placed on methods. Extracts the declared modification targets (fields and parameters) from the annotation closure and stores them as node metadata on the MethodNode.

The metadata key is {@value #MODIFIES_FIELDS_KEY} and the value is a Set<String> of field/parameter names. Downstream processors (such as @Ensures validation) can read this metadata.

Since:

6.0.0

See Also:

Modifies