Class InitializationAnnotatedTypeFactory

All Implemented Interfaces:
AnnotationProvider

public class InitializationAnnotatedTypeFactory extends InitializationParentAnnotatedTypeFactory
The annotated type factory for the freedom-before-commitment type system. When using the freedom-before-commitment type system as a subchecker, you must ensure that the parent checker hooks into it properly. See InitializationChecker for further information.