org.checkerframework.checker.nullness.qual

Annotation Type EnsuresNonNull

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

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

This postcondition annotation is useful for methods that initialize a field. It can also be used for a method that fails if a given expression is null.

See Also:

NonNull, NullnessChecker

See the Checker Framework Manual:

Nullness Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String[]	value The Java expressions that are ensured to be NonNull on successful method termination.

Element Detail

value

public abstract java.lang.String[] value

The Java expressions that are ensured to be NonNull on successful method termination.

See the Checker Framework Manual:

Syntax of Java expressions