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, org.checkerframework.javacutil.ErrorHandler

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

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.source.SourceChecker

org.checkerframework.framework.source.SourceChecker.CheckerError

Field Summary

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

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

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor and Description
SQLDialectChecker()

Method Summary

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

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

addOptions, createSupportedLintOptions, errorAbort, errorAbort, expandCFOptions, formatStackTrace, fullMessageOf, getAnnotationProvider, 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, message, printStats, processArg, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shutdownHook, treeToFilePositionString, typeProcess, typeProcessingStart, userErrorAbort, useUncheckedCodeDefault

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 Detail

SQLDialectChecker

public SQLDialectChecker()

Method Detail

createSourceVisitor

protected org.checkerframework.framework.source.SourceVisitor<Void,Void> createSourceVisitor()

Specified by:

createSourceVisitor in class org.checkerframework.framework.source.SourceChecker