org.checkerframework.framework.source

Class AggregateChecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

org.checkerframework.javacutil.AbstractTypeProcessor

org.checkerframework.framework.source.SourceChecker

org.checkerframework.framework.source.AggregateChecker

All Implemented Interfaces:

javax.annotation.processing.Processor, BaseContext, CFContext, OptionConfiguration, ErrorHandler

Direct Known Subclasses:

I18nChecker

public abstract class AggregateChecker
extends SourceChecker

An aggregate checker that packages multiple checkers together. The resulting checker invokes the component checkers in turn on the processed files.

There is no communication, interaction, or cooperation between the component checkers, even to the extent of being able to read one another's qualifiers. An aggregate checker is merely shorthand to invoke a sequence of checkers.

This class delegates AbstractTypeProcessor responsibilities to each component checker.

Checker writers need to subclass this class and only override getSupportedCheckers() to indicate the classes of the checkers to be bundled.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.source.SourceChecker

SourceChecker.CheckerError

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<SourceChecker>	checkers

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

currentRoot, DETAILS_SEPARATOR, errsOnLastExit, messager, messages, MSGS_FILE, parentChecker, SUPPRESS_ALL_KEY, trees, upstreamCheckerNames, visitor

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor and Description
AggregateChecker()

Method Summary

Modifier and Type	Method and Description
protected SourceVisitor<?,?>	createSourceVisitor() Provides the SourceVisitor that the checker should use to scan input source trees.
java.util.Map<java.lang.String,java.lang.String>	getOptions() Return all active options for this checker.
protected abstract java.util.Collection<java.lang.Class<? extends SourceChecker>>	getSupportedCheckers() Returns the list of supported checkers to be run together.
java.util.Set<java.lang.String>	getSupportedLintOptions() Returns the lint options recognized by this checker.
java.util.Set<java.lang.String>	getSupportedOptions() Map the Checker Framework version of SupportedOptions to the standard annotation provided version SupportedOptions.
void	initChecker() Initialize the checker.
protected void	setProcessingEnvironment(javax.annotation.processing.ProcessingEnvironment env) processingEnv needs to be set on each checker since we are not calling init on the checker, which leaves it null.
void	typeProcess(javax.lang.model.element.TypeElement element, com.sun.source.util.TreePath tree) Type-check the code with Java specifications and then runs the Checker Rule Checking visitor on the processed source.
void	typeProcessingOver() A method to be called once all the classes are processed and no error is reported.

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

addOptions, createSupportedLintOptions, errorAbort, errorAbort, expandCFOptions, formatStackTrace, fullMessageOf, getAnnotationProvider, getChecker, getContext, getElementUtils, getLintOption, getLintOption, getMessages, getOption, getOption, getOptionConfiguration, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsKeys, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, getVisitor, hasOption, init, message, printMessage, printStats, processArg, report, setLintOption, setParentChecker, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shutdownHook, treeToFilePositionString, typeProcessingStart, userErrorAbort, useUncheckedCodeDefault

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

Field Detail

checkers

protected final java.util.List<SourceChecker> checkers

Constructor Detail

AggregateChecker

public AggregateChecker()

Method Detail

getSupportedCheckers

protected abstract java.util.Collection<java.lang.Class<? extends SourceChecker>> getSupportedCheckers()

Returns the list of supported checkers to be run together. Subclasses need to override this method.

setProcessingEnvironment

protected void setProcessingEnvironment(javax.annotation.processing.ProcessingEnvironment env)

processingEnv needs to be set on each checker since we are not calling init on the checker, which leaves it null. If one of checkers is an AggregateChecker, its visitors will try use checker's processing env which should not be null.

Overrides:

setProcessingEnvironment in class SourceChecker

initChecker

public void initChecker()

Description copied from class: SourceChecker

Initialize the checker.

Overrides:

initChecker in class SourceChecker

See Also:

AbstractProcessor.init(ProcessingEnvironment)

typeProcess

public final void typeProcess(javax.lang.model.element.TypeElement element,
                              com.sun.source.util.TreePath tree)

Description copied from class: SourceChecker

Type-check the code with Java specifications and then runs the Checker Rule Checking visitor on the processed source.

Overrides:

typeProcess in class SourceChecker

Parameters:

element - element of the analyzed class

tree - the tree path to the element, with the leaf being a ClassTree

See Also:

Processor.process(Set, RoundEnvironment)

typeProcessingOver

public void typeProcessingOver()

Description copied from class: AbstractTypeProcessor

A method to be called once all the classes are processed and no error is reported.

Subclasses may override this method to do any aggregate analysis (e.g. generate report, persistence) or resource deallocation.

If an error (a Java error or a processor error) is reported, this method is not guaranteed to be invoked.

Overrides:

typeProcessingOver in class AbstractTypeProcessor

getSupportedOptions

public final java.util.Set<java.lang.String> getSupportedOptions()

Description copied from class: SourceChecker

Map the Checker Framework version of SupportedOptions to the standard annotation provided version SupportedOptions.

Specified by:

getSupportedOptions in interface javax.annotation.processing.Processor

Specified by:

getSupportedOptions in interface OptionConfiguration

Overrides:

getSupportedOptions in class SourceChecker

getOptions

public final java.util.Map<java.lang.String,java.lang.String> getOptions()

Description copied from class: SourceChecker

Return all active options for this checker.

Specified by:

getOptions in interface OptionConfiguration

Overrides:

getOptions in class SourceChecker

Returns:

all active options for this checker

getSupportedLintOptions

public final java.util.Set<java.lang.String> getSupportedLintOptions()

Description copied from class: SourceChecker

Returns the lint options recognized by this checker. Lint options are those which can be checked for via SourceChecker.getLintOption(java.lang.String).

Overrides:

getSupportedLintOptions in class SourceChecker

Returns:

an unmodifiable Set of the lint options recognized by this checker

createSourceVisitor

protected SourceVisitor<?,?> createSourceVisitor()

Description copied from class: SourceChecker

Provides the SourceVisitor that the checker should use to scan input source trees.

Specified by:

createSourceVisitor in class SourceChecker

Returns:

a SourceVisitor to use to scan source trees