sosy-lab / java-common-lib

SoSy-Lab Java Common Library
https://www.sosy-lab.org
Apache License 2.0
12 stars 11 forks source link

Migrate away from javax.annotations #17

Open PhilippWendler opened 6 years ago

PhilippWendler commented 6 years ago

Guava is moving aways from the annotations in javax.annotations because of some problems with them. We should probably do the same, and as a first step accept the new annotations everywhere where our code checks for existence of the old annotations (e.g., where we check whether something is annotated with @Nullable in Classes).

PhilippWendler commented 6 years ago

Full migration is blocked by SpotBugs support (https://github.com/spotbugs/spotbugs/issues/523).

PhilippWendler commented 5 years ago

We did the migration in e8e29f78805cc934d81c357d43bf3eb92b7711a4, but we still do not have a solution for @ParametersAreNonnullByDefault (which Guava also still uses).