jaredsburrows / jaredsburrows/gradle-checker-framework-plugin
Enable configuration of Checker Framework version
- 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