This is helpful for IDE analysis using jebrains IDEs, but I implemented this primarily because NullAway supports the @Contract annotation which are recommended for first party code over implementing custom library models
==COMMIT_MSG==
Preconditions provide contract information for static analysis
==COMMIT_MSG==
Future Work
I'd also like to add contract information to our generated conjure error utilities.
This is helpful for IDE analysis using jebrains IDEs, but I implemented this primarily because NullAway supports the
@Contract
annotation which are recommended for first party code over implementing custom library models ==COMMIT_MSG== Preconditions provide contract information for static analysis ==COMMIT_MSG==Future Work
I'd also like to add contract information to our generated conjure error utilities.