Annotation Interface InitializedFieldsBottom


The bottom type qualifier for the Initialized Fields type system. It is the type of null. Programmers should rarely write this qualifier.
See the Checker Framework Manual:
Initialized Fields Checker