Skip to content

native support for JSpecify #138

@fprochazka

Description

@fprochazka

I would like to propose adding native support for https://jspecify.dev/docs/using/, so that instead of

dependencies {
    api("org.jspecify:jspecify:1.0.0")
}

strictNullCheck {
    packageInfo {
        imports.set(setOf("org.jspecify.annotations.NullMarked"))
        annotations.set(setOf("@NullMarked"))
    }
}

one could write

strictNullCheck {
    addJSpecify)
    packageInfo {
        useJSpecify()
    }
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions