checkers.nullness.quals
Annotation Type AssertNonNull

@Documented
@Retention(value=RUNTIME)
@Target(value=METHOD)
public @interface AssertNonNull

Indicates that the method throws an exception if any of its parameters is null.

Use of this annotation should be very rare. In most cases, it is better to simply annotate each parameter as NonNull.

This annotation is intended for use only on methods whose sole purpose is suppressing warnings, not on methods that are used for defensive programming. See the Checker Framework manual for more details.

See Also:

NonNull, NullnessChecker

See the Checker Framework manual:

Nullness Checker