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-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-10 | [test] this covers more eclipse versions | Reinier Zwitserloot | |
2020-06-25 | Fix broken test cases | Rawi01 | |
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-27 | [tests] fixing an error in a superbuilder/checkerframework test | Reinier Zwitserloot | |
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. |