Package org.checkerframework.common.initializedfields.qual

Annotation Interface EnsuresInitializedFields.List

Enclosing class:

EnsuresInitializedFields

@Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@PostconditionAnnotation(qualifier=InitializedFields.class)
@InheritedAnnotation
public static @interface EnsuresInitializedFields.List

A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.

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

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
EnsuresInitializedFields[]	value	Return the repeatable annotations.

Element Details

value

EnsuresInitializedFields[] value

Return the repeatable annotations.

Returns:

the repeatable annotations