Moderne OnlyThis recipe is proprietary to Moderne and runs on the Moderne platform or CLI — it isn’t part of the open-source catalog. Available with a Moderne subscription.Contact Sales

Remove a redundant @NonNull annotation under @NullMarked

Recipe IDio.moderne.nullability.RemoveRedundantNonNullAnnotation

Artifactio.moderne.recipe:rewrite-nullability

Removes an explicit @NonNull / @Nonnull annotation that is redundant inside a @NullMarked scope, where non-null is already the default. In JSpecify-normalized code an unannotated declaration in an annotated scope is already non-null, so the annotation merely restates the default; removing it leaves the declared nullability — and therefore runtime behavior — unchanged. Conservative: it acts only on a declaration whose enclosing type is in the fix scope (@NullMarked / AnnotatedPackages), removing the annotation from either the leading (declaration) position or the TYPE_USE position; it never touches @Nullable, @CheckForNull, or @MonotonicNonNull. The annotation import is dropped when this was its last use. Annotation-only and idempotent; only Java sources are modified.

Single recipeOpenRewriteModerne Proprietary License

Try in PlatformTry this recipe in the Moderne platform. Not a user yet? You’ll get a no-setup demo environment, with nothing to install or configure.

Options

1 parameters

1 optional

Parameter	Example	Type	Required
annotatedPackages	com.example	String	Optional
Comma-separated package prefixes to limit the fix to (matching NullAway's AnnotatedPackages option). When unset, the recipe fixes all packages.

Usage

Run this recipe

This recipe has no required configuration options. Users of Moderne can run it via the Moderne CLI.

You will need to have configured the Moderne CLI on your machine before you can run the following command.

shell

mod run . --recipe RemoveRedundantNonNullAnnotation

If the recipe is not available locally, then you can install it using:

mod config recipes jar install io.moderne.recipe:rewrite-nullability:0.3.0

Data tables

Null-safety fixes by rung

io.moderne.nullability.table.NullFixes

Each residual null-safety fix applied, tagged with the precedence rung that produced it, so the share bottoming out at a last-resort requireNonNull assertion can be tracked.

Column	Description
Source path	The path of the source file that was fixed.
Recipe name	The name of the recipe that applied the fix.
Rung	The precedence rung that produced the fix (INFER, PLACE, RESTRUCTURE, GRACEFUL_NULL, or ASSERT_NON_NULL). ASSERT_NON_NULL is the last resort; the others are progressively more sophisticated transformations that avoid it.
Rung ordinal	The rung's position in the precedence ladder (0 = most sophisticated, 4 = the last-resort ASSERT_NON_NULL). A numeric sort key for ordering fixes by rung in a BI system.
Behavior changing	Whether the fix alters observable runtime behavior on the null path. True only for GRACEFUL_NULL fixes (which also carry a behavior-change marker); every other rung is behavior-preserving, including the ASSERT_NON_NULL requireNonNull wrap.

Declined null-safety fixes needing review

io.moderne.nullability.table.DeclinedNullFixes

Each site the recipe declined to auto-fix because the fix is a design decision (the value is explicitly null on some path, so the slot likely should be @Nullable), for human triage.

Column	Description
Source path	The path of the source file containing the declined site.
Recipe name	The name of the recipe that declined the fix.
Reason	Why the fix was declined (e.g. EXPLICIT_NULL: the value is explicitly null on some path, so wrapping it would throw rather than assert).
Detail	A human-readable description of the declined site and the design decision it needs.

Source files that had results

org.openrewrite.table.SourcesFileResults

Source files that were modified by the recipe run.

Column	Description
Source path before the run	The source path of the file before the run. null when a source file was created during the run.
Source path after the run	A recipe may modify the source path. This is the path after the run. null when a source file was deleted during the run.
Parent of the recipe that made changes	In a hierarchical recipe, the parent of the recipe that made a change. Empty if this is the root of a hierarchy or if the recipe is not hierarchical at all.
Recipe that made changes	The specific recipe that made a change.
Estimated time saving	An estimated effort that a developer to fix manually instead of using this recipe, in unit of seconds.
Cycle	The recipe cycle in which the change was made.

Source files that had search results

org.openrewrite.table.SearchResults

Search results that were found during the recipe run.

Column	Description
Source path of search result before the run	The source path of the file with the search result markers present.
Source path of search result after run the run	A recipe may modify the source path. This is the path after the run. null when a source file was deleted during the run.
Result	The trimmed printed tree of the LST element that the marker is attached to.
Description	The content of the description of the marker.
Recipe that added the search marker	The specific recipe that added the Search marker.

Source files that errored on a recipe

org.openrewrite.table.SourcesFileErrors

The details of all errors produced by a recipe run.

Column	Description
Source path	The file that failed to parse.
Recipe that made changes	The specific recipe that made a change.
Stack trace	The stack trace of the failure.

Recipe performance

org.openrewrite.table.RecipeRunStats

Statistics used in analyzing the performance of recipes.

Column	Description
The recipe	The recipe whose stats are being measured both individually and cumulatively.
Source file count	The number of source files the recipe ran over.
Source file changed count	The number of source files which were changed in the recipe run. Includes files created, deleted, and edited.
Cumulative scanning time (ns)	The total time spent across the scanning phase of this recipe.
Max scanning time (ns)	The max time scanning any one source file.
Cumulative edit time (ns)	The total time spent across the editing phase of this recipe.
Max edit time (ns)	The max time editing any one source file.