Package org.sosy_lab.common.annotations

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