jaredsburrows / jaredsburrows/gradle-checker-framework-plugin

Enable configuration of Checker Framework version

Open
#16 7 comments 1 reaction 0 assignees View on GitHub
Dominant language
Groovy
Stars
9
Forks
4
PR merge metrics
No merged PRs in 30d

Description

The plugin currently seems hard-coded to use version 2.4.0 of the Checker Framework. Many bugs have been fixed, and features added, since then.

Please provide a configuration setting that I can use in my `build.gradle` file to specify what version of the Checker Framework the plugin will use. (It would also be nice to change the default version to 2.6.0.)

Contributor guide

No contributing guide indexed for this repository

Research direction

Start with the plugin's Gradle configuration and locate the hard-coded Checker Framework 2.4.0 reference, then inspect how settings from a consumer build.gradle are exposed. Done means a consumer can select the framework version and the requested default-version change is addressed; verify the result with the project's available checks.

Written by the indexing model from the issue text.

Assessment

Tech stack
groovy, java
Domain
build-system
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.