org.checkerframework.common.initializedfields
Classes
InitializedFieldsAnnotatedTypeFactory
InitializedFieldsChecker
InitializedFieldsTransfer