Package org.jooq.checker

Class SQLDialectChecker

java.lang.Object
javax.annotation.processing.AbstractProcessor
org.checkerframework.javacutil.AbstractTypeProcessor
org.checkerframework.framework.source.SourceChecker
org.jooq.checker.SQLDialectChecker
All Implemented Interfaces:
Processor, org.checkerframework.framework.util.BaseContext, org.checkerframework.framework.util.CFContext, org.checkerframework.framework.util.OptionConfiguration
public class SQLDialectChecker extends org.checkerframework.framework.source.SourceChecker
A checker to compare SQLDialect from a use-site Require annotation with a declaration-site Support annotation.
Author:
Lukas Eder

  • Field Summary

    Fields inherited from class org.checkerframework.framework.source.SourceChecker

    currentRoot, DETAILS_SEPARATOR, elementsWithSuppressedWarnings, errsOnLastExit, messager, messages, MSGS_FILE, parentChecker, SUPPRESS_ALL_KEY, trees, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, visitor

    Fields inherited from class javax.annotation.processing.AbstractProcessor

    processingEnv

  • Constructor Summary

    Constructors
    Constructor
    Description
    SQLDialectChecker()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected org.checkerframework.framework.source.SourceVisitor<Void,Void>
    createSourceVisitor()
     

    Methods inherited from class org.checkerframework.framework.source.SourceChecker

    addOptions, createSupportedLintOptions, expandCFOptions, formatStackTrace, fullMessageOf, getAnnotationProvider, getBooleanOption, getBooleanOption, getChecker, getContext, getElementUtils, getLintOption, getLintOption, getMessages, getOption, getOption, getOptionConfiguration, getOptions, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedLintOptions, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKeys, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, getVisitor, hasOption, init, initChecker, message, printMessage, printStats, processArg, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shutdownHook, treeToFilePositionString, typeProcess, typeProcessingStart, useUncheckedCodeDefault, warnUnneededSuppressions, warnUnneedSuppressions

    Methods inherited from class org.checkerframework.javacutil.AbstractTypeProcessor

    process, typeProcessingOver

    Methods inherited from class javax.annotation.processing.AbstractProcessor

    getCompletions, isInitialized

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • SQLDialectChecker

      public SQLDialectChecker()

  • Method Details

    • createSourceVisitor

      protected org.checkerframework.framework.source.SourceVisitor<Void,Void> createSourceVisitor()
      Specified by:
      createSourceVisitor in class org.checkerframework.framework.source.SourceChecker