@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault

Package org.sosy_lab.common.annotations

This package contains several general-purpose annotations.

Annotation Types Summary

Annotation Type	Description
FieldsAreNonnullByDefault	An annotation similar to ParametersAreNonnullByDefault that defines that all fields inside the annotated element are never null, unless this is overridden with another method.
ReturnValuesAreNonnullByDefault	An annotation similar to ParametersAreNonnullByDefault that defines that all methods inside the annotated element do not return null, unless this is overridden with another annotation.
SuppressForbidden	Annotation similar to SuppressWarnings, but intended to be used with https://github.com/policeman-tools/forbidden-apis.
Unmaintained	Annotation for component that are considered unmaintained, and might have inferior quality.