Skip to content
This repository was archived by the owner on Mar 2, 2026. It is now read-only.
This repository was archived by the owner on Mar 2, 2026. It is now read-only.

Allow specifying stubs as a dependency, not a path #298

@Calvin-L

Description

@Calvin-L

Today the way you configure stubs is with the -Astubs=... option, which takes a filesystem path:

configure<CheckerFrameworkExtension> {
    extraJavacArgs = listOf(
        "-Astubs=${project.rootProject.rootDir}/stubs",
    )
}

It would be nicer to specify a subproject or dependency containing stub files instead. This has many benefits:

Example:

dependencies {
    checkerFrameworkStubs(project(":localStubs")) // stubs from local subproject
    checkerFrameworkStubs("mygroup:shared-stubs:1.0.0") // stubs from some common repo
    testCheckerFrameworkStubs(project(":testStubs")) // stubs for test libraries
}

(This ask is essentially the same as typetools/checker-framework#4058 and typetools/checker-framework#6813.)

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