Class BaseAnnotatedTypeFactory

All Implemented Interfaces:
AnnotationProvider
Direct Known Subclasses:
AliasingAnnotatedTypeFactory, BaseAnnotatedTypeFactoryForIndexChecker, ClassValAnnotatedTypeFactory, FenumAnnotatedTypeFactory, FormatterAnnotatedTypeFactory, GuiEffectTypeFactory, I18nAnnotatedTypeFactory, I18nFormatterAnnotatedTypeFactory, InterningAnnotatedTypeFactory, MethodValAnnotatedTypeFactory, MustCallAnnotatedTypeFactory, PropertyKeyAnnotatedTypeFactory, PurityAnnotatedTypeFactory, RegexAnnotatedTypeFactory, ReturnsReceiverAnnotatedTypeFactory, SameLenAnnotatedTypeFactory, SearchIndexAnnotatedTypeFactory, SignatureAnnotatedTypeFactory, SignednessAnnotatedTypeFactory, SubstringIndexAnnotatedTypeFactory, SubtypingAnnotatedTypeFactory, TaintingAnnotatedTypeFactory, UnitsAnnotatedTypeFactory, ValueAnnotatedTypeFactory

public class BaseAnnotatedTypeFactory extends GenericAnnotatedTypeFactory<CFValue,CFStore,CFTransfer,CFAnalysis>
A factory that extends GenericAnnotatedTypeFactory to use the default flow-sensitive analysis as provided by CFAnalysis.
  • Constructor Details

    • BaseAnnotatedTypeFactory

      public BaseAnnotatedTypeFactory(BaseTypeChecker checker, boolean useFlow)
    • BaseAnnotatedTypeFactory

      public BaseAnnotatedTypeFactory(BaseTypeChecker checker)
  • Method Details

    • createFlowAnalysis

      protected CFAnalysis createFlowAnalysis()
      Description copied from class: GenericAnnotatedTypeFactory
      Returns the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis.

      This implementation uses the checker naming convention to create the appropriate analysis. If no transfer function is found, it returns an instance of CFAnalysis.

      Subclasses have to override this method to create the appropriate analysis if they do not follow the checker naming convention.

      Overrides:
      createFlowAnalysis in class GenericAnnotatedTypeFactory<CFValue,CFStore,CFTransfer,CFAnalysis>
      Returns:
      the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis