Class BaseAnnotatedTypeFactory

    • Constructor Detail

      • BaseAnnotatedTypeFactory

        public BaseAnnotatedTypeFactory​(BaseTypeChecker checker,
                                        boolean useFlow)
      • BaseAnnotatedTypeFactory

        public BaseAnnotatedTypeFactory​(BaseTypeChecker checker)
    • Method Detail

      • 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