Package org.sosy_lab.common.annotations

Annotation Type 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.