Package org.checkerframework.common.initializedfields.qual

package org.checkerframework.common.initializedfields.qual

Related Packages

Package	Description
org.checkerframework.common.initializedfields

Annotation Interfaces

Class	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.