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

public @Interface InitializedFieldsBottom

extends Annotation
Annotations
@SubtypeOf:InitializedFields
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
Imports
java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf, .TargetLocations, .TypeUseLocation
The bottom type qualifier for the Initialized Fields type system. It is the type of null. Programmers should rarely write this qualifier.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString