Package org.jooq.checker

Class PlainSQLChecker

java.lang.Object
javax.annotation.processing.AbstractProcessor
org.checkerframework.javacutil.AbstractTypeProcessor
org.checkerframework.framework.source.SourceChecker
org.jooq.checker.PlainSQLChecker
All Implemented Interfaces:
Processor, org.checkerframework.framework.util.BaseContext, org.checkerframework.framework.util.CFContext, org.checkerframework.framework.util.OptionConfiguration
public class PlainSQLChecker extends org.checkerframework.framework.source.SourceChecker
A checker to disallow usage of PlainSQL API, except where allowed explicitly.
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
    PlainSQLChecker()
     

  • 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

    • PlainSQLChecker

      public PlainSQLChecker()

  • Method Details

    • createSourceVisitor

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