checkers.nullness.quals

Annotation Type AssertNonNullAfter

public @interface AssertNonNullAfter

Indicates that if the method terminates successfully, the value expressions are non-null.

This is useful for methods that initialize a field, for example.

See Also:

NonNull, 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 successful method termination.

Element Detail

value

public abstract String[] value

Java expression(s) that are non-null after successful method termination.

See Also:

Syntax of Java expressions