Moderne licensed

Wrap nullable thrown expressions in `requireNonNull`

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

Wraps a provably-nullable throw operand in java.util.Objects.requireNonNull(...) (statically imported), turning throw ex; into throw requireNonNull(ex);. A throw of a null Throwable itself throws NullPointerException (the JVM dereferences the operand to raise it), so inside an annotated scope NullAway flags a nullable thrown value as an error; requireNonNull throws exactly where the bare throw already would, so runtime behavior is unchanged. The operand's nullness is resolved by attribution from the nullability model and a path-sensitive flow analysis (a value already null-checked on the path is not flagged). The fix never asserts non-null on a value that is genuinely nullable at the site. Idempotent and conservative; 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.WrapNullableThrownExpressionInRequireNonNull")
}

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.WrapNullableThrownExpressionInRequireNonNull

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

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

Options

Name	Type	Description
`annotatedPackages`	`String`	Comma-separated package prefixes to limit the fix to (matching NullAway's `AnnotatedPackages` option). When unset, the recipe fixes all packages. e.g. `com.example`
`assertionStyle`	`AssertionStyle`	The non-null assertion form to emit at a wrap site. `AUTO` (the default) inspects the classpath: Guava present (`com.google.common`) emits `Preconditions.checkNotNull`, otherwise `Objects.requireNonNull`. `CAST_TO_NON_NULL` is explicit-only (it is suppression-like — no runtime throw) and never auto-selected.

Data tables

Structured output this recipe can produce.

Null-safety fixes by rungEach 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.io.moderne.nullability.table.NullFixes
Declined null-safety fixes needing reviewEach 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.io.moderne.nullability.table.DeclinedNullFixes
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