Package org.checkerframework.common.initializedfields.qual

Annotation Types Summary

Annotation Type	Description
EnsuresInitializedFields	A method postcondition annotation indicates which fields the method definitely initializes.
EnsuresInitializedFields.List	A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.
InitializedFields	Indicates which fields have definitely been initialized.
InitializedFieldsBottom	The bottom type qualifier for the Initialized Fields type system.
PolyInitializedFields	Polymorphic qualifier for the Initialized Fields type system.