Package org.sosy_lab.common.annotations

Annotation Type FieldsAreNonnullByDefault

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