Package org.jooq.checker
Klasse SQLDialectChecker
java.lang.Object
javax.annotation.processing.AbstractProcessor
org.checkerframework.javacutil.AbstractTypeProcessor
org.checkerframework.framework.source.SourceChecker
org.jooq.checker.SQLDialectChecker
- Alle implementierten Schnittstellen:
Processor,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.- Autor:
- Lukas Eder
-
Feldübersicht
Von Klasse geerbte Felder org.checkerframework.framework.source.SourceChecker
currentRoot, DETAILS_SEPARATOR, elements, elementsWithSuppressedWarnings, errsOnLastExit, javacErrored, messager, messagesProperties, MSGS_FILE, OPTION_SEPARATOR, parentChecker, SUPPRESS_ALL_MESSAGE_KEY, SUPPRESS_ALL_PREFIX, trees, types, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, useAllcheckersPrefix, visitorVon Klasse geerbte Felder javax.annotation.processing.AbstractProcessor
processingEnv -
Konstruktorübersicht
Konstruktoren -
Methodenübersicht
Modifizierer und TypMethodeBeschreibungorg.checkerframework.framework.source.SourceCheckerVon Klasse geerbte Methoden org.checkerframework.framework.source.SourceChecker
addOptions, createSupportedLintOptions, expandCFOptions, fullMessageOf, getAnnotationProvider, getBooleanOption, getBooleanOption, getElementUtils, getLintOption, getLintOption, getMessagesProperties, getOption, getOption, getOptionConfiguration, getOptions, getParentChecker, getPathToCompilationUnit, getProcessingEnvironment, getProperties, getStandardSuppressWarningsPrefixes, getStringsOption, getStringsOption, getSupportedAnnotationTypes, getSupportedLintOptions, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsPrefixes, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, getVisitor, hasOption, init, initChecker, message, message, messageKeyMatches, printOrStoreMessage, printOrStoreMessage, printStats, processErrorMessageArg, report, reportError, reportWarning, setLintOption, setParentChecker, setProcessingEnvironment, setRoot, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipDefs, shouldSkipFiles, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shouldSuppressWarnings, shutdownHook, typeProcess, typeProcessingStart, useConservativeDefault, warnUnneededSuppressions, warnUnneededSuppressionsVon Klasse geerbte Methoden org.checkerframework.javacutil.AbstractTypeProcessor
getCompilerLog, process, typeProcessingOverVon Klasse geerbte Methoden javax.annotation.processing.AbstractProcessor
getCompletions, isInitializedVon Klasse geerbte Methoden java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitVon Schnittstelle geerbte Methoden org.checkerframework.framework.util.OptionConfiguration
getStringsOption, getStringsOption
-
Konstruktordetails
-
SQLDialectChecker
public SQLDialectChecker()
-
-
Methodendetails
-
createSourceVisitor
- Angegeben von:
createSourceVisitorin Klasseorg.checkerframework.framework.source.SourceChecker
-
getChecker
public org.checkerframework.framework.source.SourceChecker getChecker()
-