org.checkerframework.common.initializedfields.qual

Annotation Types

• EnsuresInitializedFields
• EnsuresInitializedFields.List
• InitializedFields
• InitializedFieldsBottom
• PolyInitializedFields