Package org.checkerframework.common.initializedfields

package org.checkerframework.common.initializedfields

Related Packages

Package	Description
org.checkerframework.common.initializedfields.qual

Classes

Class	Description
InitializedFieldsAnnotatedTypeFactory	The annotated type factory for the Initialized Fields Checker.
InitializedFieldsChecker	The Initialized Fields Checker.
InitializedFieldsTransfer	Accumulates the names of fields that are initialized.