Package org.briarproject.nullsafety

Annotation Type MethodsNotNullByDefault

@Documented
@Nonnull
@TypeQualifierDefault(METHOD)
@Retention(RUNTIME)
public @interface MethodsNotNullByDefault

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