public class JavariChecker extends BaseTypeChecker
@ReadOnly, @Mutable,
@Assignable, @PolyRead and @QReadOnly).SourceChecker.CheckerErrorcurrentRoot, DETAILS_SEPARATOR, errsOnLastExit, messager, messages, MSGS_FILE, parentChecker, SUPPRESS_ALL_KEY, trees, upstreamCheckerNames, visitorprocessingEnv| Constructor and Description |
|---|
JavariChecker() |
createSourceVisitor, getAnnotationProvider, getChecker, getContext, getImmediateSubcheckerClasses, getOptions, getSubchecker, getSupportedLintOptions, getSupportedOptions, getTypeFactory, getTypeFactoryOfSubchecker, getVisitor, initChecker, invokeConstructorFor, processArg, shouldResolveReflection, typeProcess, typeProcessingOveraddOptions, createSupportedLintOptions, errorAbort, errorAbort, expandCFOptions, formatStackTrace, fullMessageOf, getElementUtils, getLintOption, getLintOption, getMessages, getOption, getOption, getOptionConfiguration, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsKeys, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, hasOption, init, message, message, printStats, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shutdownHook, treeToFilePositionString, typeProcessingStart, userErrorAbort, useUncheckedCodeDefaultprocessgetCompletions, isInitializedclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetElementUtils, getOptionConfiguration, getProcessingEnvironment, getTreeUtils, getTypeUtils