Package org.briarproject.nullsafety

Annotation Type ParametersNotNullByDefault

@Documented
@Nonnull
@TypeQualifierDefault(PARAMETER)
@Retention(RUNTIME)
public @interface ParametersNotNullByDefault

This annotation can be applied to a package or class to indicate that the method parameters in that element are non-null by default unless:

• There is an explicit nullness annotation
• The method overrides a method in a superclass (in which case the annotation of the corresponding parameter in the superclass applies)
• There is a default nullness annotation applied to a more tightly nested element.