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.