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 | |
2020-10-08 | [fixup] Fixing up the checkerframework `@CalledMethods` annotation package ↵ | Reinier Zwitserloot | |
rename from commit 390ebcf | |||
2020-10-04 | The Object Construction Checker has been renamed the Called Methods Checker | Michael Ernst | |
2020-10-03 | Untangling patches to classes that only exist in eclipse, not ecj | Reinier Zwitserloot | |
Specifically, Rawi01's patches to make javadoc behaviour in eclipse better, which cannot be applied to ecj as you get load errors (javadoc not a thing there). As part of this commit, tests can be limited to ecj or eclipse, and I made cut-down versions of a few tests (to run on ecj, as the main one cannot be, due to javadoc issues). The tests now marked as eclipse only don't fail on ecj, but they don't generate the same result. Alternatively, we could go with a separated out after-ecj and after-eclipse dir instead, but that's perhaps going overboard. | |||
2020-01-28 | [issue #2221] [issue #788] Lombok now adds nullity annotations. | Reinier Zwitserloot | |
Which 'flavour' is defined in lombok.config; applied to toString, equals, canEqual, and plural-form of `@Singular`. |