checkers.nullness.quals
Annotation Type AssertParametersNonNull

@Documented
@Retention(value=RUNTIME)
@Target(value={METHOD,CONSTRUCTOR})
public @interface AssertParametersNonNull

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. One place it is used is NullnessUtils.castNonNull(T).

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 about the difference.

See Also:

NonNull, NullnessChecker

See the Checker Framework manual:

Nullness Checker