← All recipes
Moderne licensed

Propagate @Nullable across override relationships

Recipe IDio.moderne.nullability.PropagateNullableAcrossOverridesArtifactio.moderne.recipe:rewrite-nullability

Propagates existing JSpecify @Nullable annotations across @Override relationships so overrides honor their supertype's nullability contract. A @Nullable return propagates up to the overridden supertype method (returns are covariant); a @Nullable parameter propagates down to every overriding method (parameters are contravariant). Methods are matched across files by erased signature name(paramTypes) plus a declaring-type subtype relationship. Conservative by design: it never widens a legal covariant return narrowing, skips primitive/void returns and already-annotated positions, and does nothing when a participating type cannot be resolved. Only Java sources are modified.

Single recipeProprietary

Add to your build

Get a download tokenThis recipe is Moderne licensed, so the token must belong to a Moderne customer. It replaces YOUR_DOWNLOAD_TOKEN below.

~/.gradle/gradle.properties

codeGenomeUsername=you@example.com
codeGenomeToken=YOUR_DOWNLOAD_TOKEN

build.gradle.kts

plugins {
    id("org.openrewrite.rewrite") version("latest.release")
}

rewrite {
    activeRecipe("io.moderne.nullability.PropagateNullableAcrossOverrides")
}

repositories {
    mavenCentral()
    maven {
        url = uri("https://artifacts.codegenomeproject.org/maven")
        credentials {
            username = providers.gradleProperty("codeGenomeUsername").get()
            password = providers.gradleProperty("codeGenomeToken").get()
        }
    }
}

dependencies {
    rewrite("io.moderne.recipe:rewrite-nullability:0.6.0")
}

Then run

./gradlew rewriteRun

Usage

This recipe has no required configuration options. You’ll need the Moderne CLI configured before running the command below.

mod run . --recipe io.moderne.nullability.PropagateNullableAcrossOverrides

If the recipe isn’t available locally, install it with:

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

Data tables

Structured output this recipe can produce.

  • Source files that had resultsSource files that were modified by the recipe run.org.openrewrite.table.SourcesFileResults
  • Source files that had search resultsSearch results that were found during the recipe run.org.openrewrite.table.SearchResults
  • Source files that errored on a recipeThe details of all errors produced by a recipe run.org.openrewrite.table.SourcesFileErrors
  • Recipe performanceStatistics used in analyzing the performance of recipes.org.openrewrite.table.RecipeRunStats