Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-01-09 | [fixes #3081] make CheckerFramework's This a type annotation | Jan Rieke | |
2022-01-07 | [fixes #2908] don't generate checkerframework's @NotCalledMethods | Jan Rieke | |
2021-03-13 | [test] work in progress: Make test.javac6 pass all tests. | Reinier Zwitserloot | |
The `test.javac6` job causes a ton of errors because many tests use java8+ features. Marking them off as java8+ targeted only. | |||
2021-01-31 | [fixes #2692] Add missing checker annotations in SuperBuilder | Rawi01 | |
2020-12-21 | [fixes #2682] Fix NPE, always add Javadoc return statement | Rawi01 | |
2020-10-04 | The Object Construction Checker has been renamed the Called Methods Checker | Michael Ernst | |
2020-10-03 | [builder] big refactor: Fixing CheckerFramework features + all params now in ↵ | Reinier Zwitserloot | |
an object These handlers had methods with humongous argument lists, and they needed to grow even more in order to accommodate some new needs to properly implement checkerframework (where annos can be type-use based, which means they were being put in the wrong place. void foo(com.foo.@X Bar paramName) // correct void foo(@X com.foo.Bar paramName) // wrong For example, the CalledMethod annotation is a type-use annotation. This commit covers both that refactor and fixing checkerframework generation. | |||
2020-07-23 | [trivial] [tests] fixing a broken test | Reinier Zwitserloot | |
2020-07-10 | [test] this covers more eclipse versions | Reinier Zwitserloot | |
2020-03-15 | [fixes #2386] [checkerframework] | Reinier Zwitserloot | |
Now generating checkerframework `@Pure` instead of `@SideEffectFree` where appropriate. | |||
2020-01-31 | [issue #2221] simplified configuration for `@Singular`-generated plural form ↵ | Reinier Zwitserloot | |
nullchecks. | |||
2020-01-28 | [singular][issue #2221] the plural builder method now nullchecks its ↵ | Reinier Zwitserloot | |
argument with configurable results. | |||
2020-01-06 | [fixes #2268] make lombok generate qualified types in order to avoid name ↵ | Reinier Zwitserloot | |
clashes. | |||
2019-08-22 | [checkerframework] | Reinier Zwitserloot | |
A bit of a shadow feature because the checker framework folks need to do some work on their side. this update makes lombok generate a few checker framework annotations (if configured to do so) which let the checker framework add warnings and errors for example if you misuse builders, or ignore the return values of withers, etc. |