6 Commits
Author SHA1 Message Date
Jan Rieke ae8ff327d2 [fixes #3081] make CheckerFramework's This a type annotation 2022-01-09 01:36:22 +01:00
Jan Rieke 9be867ef03 [fixes #2908] don't generate checkerframework's @NotCalledMethods 2022-01-07 21:10:19 +01:00
Reinier Zwitserloot 96d02e66b7 [fixup] Fixing up the checkerframework @CalledMethods annotation package rename from commit 390ebcf 2020-10-08 20:17:22 +02:00
Michael Ernst 390ebcf293 The Object Construction Checker has been renamed the Called Methods Checker 2020-10-04 07:46:37 -07:00
Reinier Zwitserloot 1b534d17d3 Untangling patches to classes that only exist in eclipse, not ecj
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-10-03 23:51:33 +02:00
Reinier Zwitserloot e95680a767 [issue #2221] [issue #788] Lombok now adds nullity annotations.
Which 'flavour' is defined in lombok.config; applied to toString, equals, canEqual, and plural-form of `@Singular`.
2020-01-28 16:21:39 +01:00