org.checkerframework.checker.index.upperbound

Class UpperBoundChecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

org.checkerframework.javacutil.AbstractTypeProcessor

org.checkerframework.framework.source.SourceChecker

org.checkerframework.common.basetype.BaseTypeChecker

org.checkerframework.checker.index.upperbound.UpperBoundChecker

All Implemented Interfaces:

javax.annotation.processing.Processor, org.checkerframework.common.basetype.BaseTypeContext, org.checkerframework.framework.util.BaseContext, org.checkerframework.framework.util.CFContext, org.checkerframework.framework.util.OptionConfiguration, org.checkerframework.javacutil.ErrorHandler

Direct Known Subclasses:

IndexChecker

@SuppressWarningsKeys(value={"index","upperbound"})
public class UpperBoundChecker
extends org.checkerframework.common.basetype.BaseTypeChecker

A type-checker for preventing arrays from being accessed with values that are too high.

See the Checker Framework Manual:

Index Checker

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, 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 and Description
UpperBoundChecker()

Method Summary

Modifier and Type	Method and Description
protected java.util.LinkedHashSet<java.lang.Class<? extends org.checkerframework.common.basetype.BaseTypeChecker>>	getImmediateSubcheckerClasses()
boolean	shouldSkipUses(java.lang.String typeName)

Methods inherited from class org.checkerframework.common.basetype.BaseTypeChecker

createSourceVisitor, getAnnotationProvider, getChecker, getContext, getOptions, getSubchecker, getSupportedLintOptions, getSupportedOptions, getTypeFactory, getTypeFactoryOfSubchecker, getVisitor, initChecker, invokeConstructorFor, printMessage, processArg, shouldAddShutdownHook, shouldResolveReflection, shutdownHook, typeProcess, typeProcessingOver, warnUnneededSuppressions

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

addOptions, createSupportedLintOptions, errorAbort, errorAbort, 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, userErrorAbort, useUncheckedCodeDefault, warnUnneedSuppressions

Methods inherited from class org.checkerframework.javacutil.AbstractTypeProcessor

process

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

Methods inherited from interface org.checkerframework.framework.util.BaseContext

getElementUtils, getOptionConfiguration, getProcessingEnvironment, getTreeUtils, getTypeUtils

Constructor Detail

UpperBoundChecker

public UpperBoundChecker()

Method Detail

shouldSkipUses

public boolean shouldSkipUses(java.lang.String typeName)

Overrides:

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

getImmediateSubcheckerClasses

protected java.util.LinkedHashSet<java.lang.Class<? extends org.checkerframework.common.basetype.BaseTypeChecker>> getImmediateSubcheckerClasses()

Overrides:

getImmediateSubcheckerClasses in class org.checkerframework.common.basetype.BaseTypeChecker