https://github.com/JetBrains/java-annotations/ Annotations like `@Contract` and `@Range` look useful, especially for those who uses IntelliJ IDEA.
https://github.com/JetBrains/java-annotations/
Annotations like
@Contractand@Rangelook useful, especially for those who uses IntelliJ IDEA.