org.checkerframework.checker.nullness.qual

Annotation Type EnsuresNonNullIf.List

@Documented
 @Retention(value=RUNTIME)
 @Target(value={METHOD,CONSTRUCTOR})
 @ConditionalPostconditionAnnotation(qualifier=NonNull.class)
 @InheritedAnnotation
public static @interface EnsuresNonNullIf.List

* A wrapper annotation that makes the EnsuresNonNullIf annotation repeatable.

Programmers generally do not need to write this. It is created by Java when a programmer writes more than one EnsuresNonNullIf annotation at the same location.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
EnsuresNonNullIf[]	value

Element Detail

value

public abstract EnsuresNonNullIf[] value

Returns:

the repeatable annotations