checkers.nullness.quals

Annotation Type AssertNonNullIfNonNull

public @interface AssertNonNullIfNonNull

Indicates that if the method returns a non-null value, then the value expressions are also non-null.

Here is an example use::

           @AssertNonNullIfNonNull("id")
     public @Pure @Nullable Long getId(){
         return id;
     }
 

You should not write a formal parameter name or this as the argument of this annotation. In those cases, use the PolyNull annotation instead.

See Also:

NonNull, PolyNull, NullnessChecker

See the Checker Framework manual:

Nullness Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value Java expression(s) that are non-null after the method returns a non-null vlue.

Element Detail

value

public abstract String[] value

Java expression(s) that are non-null after the method returns a non-null vlue.

See Also:

Syntax of Java expressions