Package org.sosy_lab.common.annotations

Annotation Interface ReturnValuesAreNonnullByDefault

@Documented
@Nonnull
@NonNull
@TypeQualifierDefault(METHOD)
@Retention(RUNTIME)
public @interface 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.

It is defined here because the annotation supplied by FindBugs is deprecated: ReturnValuesAreNonnullByDefault.