Top Description Methods
org.checkerframework.common.initializedfields.qual

public @Interface InitializedFields

extends Annotation
Annotations
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf
@DefaultQualifierInHierarchy
Imports
java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .SubtypeOf
Indicates which fields have definitely been initialized.

Method Summary

Modifier and TypeMethod and Description
public String[]

Returns:

the initialized fields
value()

Fields that have been initialized.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

Fields that have been initialized.

Returns:String[]

the initialized fields