@SuppressWarningsKeys(value={"index","upperbound"})
public class UpperBoundChecker
extends org.checkerframework.common.basetype.BaseTypeChecker
currentRoot, DETAILS_SEPARATOR, elementsWithSuppressedWarnings, errsOnLastExit, messager, messages, MSGS_FILE, parentChecker, SUPPRESS_ALL_KEY, trees, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, visitor
processingEnv
Constructor and Description |
---|
UpperBoundChecker() |
Modifier and Type | Method and Description |
---|---|
protected LinkedHashSet<Class<? extends org.checkerframework.common.basetype.BaseTypeChecker>> |
getImmediateSubcheckerClasses() |
boolean |
shouldSkipUses(String typeName) |
createSourceVisitor, getAnnotationProvider, getChecker, getContext, getOptions, getSubchecker, getSupportedLintOptions, getSupportedOptions, getTypeFactory, getTypeFactoryOfSubchecker, getVisitor, initChecker, invokeConstructorFor, printMessage, processArg, shouldAddShutdownHook, shouldResolveReflection, shutdownHook, typeProcess, typeProcessingOver, warnUnneededSuppressions
addOptions, createSupportedLintOptions, expandCFOptions, formatStackTrace, fullMessageOf, getBooleanOption, getBooleanOption, getElementUtils, getLintOption, getLintOption, getMessages, getOption, getOption, getOptionConfiguration, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsKeys, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, hasOption, init, message, printStats, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, treeToFilePositionString, typeProcessingStart, useUncheckedCodeDefault, warnUnneedSuppressions
getCompletions, isInitialized
public boolean shouldSkipUses(String typeName)
shouldSkipUses
in class org.checkerframework.framework.source.SourceChecker
protected LinkedHashSet<Class<? extends org.checkerframework.common.basetype.BaseTypeChecker>> getImmediateSubcheckerClasses()
getImmediateSubcheckerClasses
in class org.checkerframework.common.basetype.BaseTypeChecker