Package org.sosy_lab.common.annotations

@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault package org.sosy_lab.common.annotations
This package contains several general-purpose annotations.
  • Annotation Interfaces
    Class
    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.