org.checkerframework.common.initializedfields.qual

Annotation Type InitializedFields

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value={})
 @DefaultQualifierInHierarchy
public @interface InitializedFields

Indicates which fields have definitely been initialized.

See the Checker Framework Manual:

Initialized Fields Checker

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	value Fields that have been initialized.

Element Detail

value

public abstract String[] value

Fields that have been initialized.

Returns:

the initialized fields

Default:

{}