Package org.checkerframework.common.initializedfields

Class Summary

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.