Package org.briarproject.nullsafety

Annotation Type InterfaceNotNullByDefault

@Documented
@Nonnull
@TypeQualifierDefault({METHOD,PARAMETER})
@Retention(RUNTIME)
public @interface InterfaceNotNullByDefault

This annotation can be applied to a package or class to indicate that the methods and 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 method or parameter in the superclass applies)
• There is a default nullness annotation applied to a more tightly nested element.

This is equivalent to applying both MethodsNotNullByDefault and ParametersNotNullByDefault;