Package 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:

Processor, OptionConfiguration

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.

Field Summary

Fields

Modifier and Type	Field	Description
protected final List<SourceChecker>	checkers

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

currentRoot, DETAILS_SEPARATOR, elements, elementsWithSuppressedWarnings, errsOnLastExit, javacErrored, messager, messagesProperties, MSGS_FILE, OPTION_SEPARATOR, parentChecker, SUPPRESS_ALL_MESSAGE_KEY, SUPPRESS_ALL_PREFIX, trees, types, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, useAllcheckersPrefix, visitor

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AggregateChecker()	Create a new AggregateChecker.

Method Summary

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

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

addOptions, createSupportedLintOptions, expandCFOptions, fullMessageOf, getAnnotationProvider, getBooleanOption, getBooleanOption, getElementUtils, getLintOption, getLintOption, getMessagesProperties, getOption, getOption, getOptionConfiguration, getParentChecker, getPathToCompilationUnit, getProcessingEnvironment, getProperties, getStandardSuppressWarningsPrefixes, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsPrefixes, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, getVisitor, hasOption, init, message, message, printOrStoreMessage, printOrStoreMessage, printStats, processArg, report, reportError, reportJavacError, reportWarning, setLintOption, setParentChecker, setRoot, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shouldSuppressWarnings, shutdownHook, typeProcessingStart, useConservativeDefault, warnUnneededSuppressions, warnUnneededSuppressions

Methods inherited from class org.checkerframework.javacutil.AbstractTypeProcessor

getCompilerLog, 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 Details

checkers

protected final List<SourceChecker> checkers

Constructor Details

AggregateChecker

protected AggregateChecker()

Create a new AggregateChecker.

Method Details

getSupportedCheckers

protected abstract Collection<Class<? extends SourceChecker>> getSupportedCheckers()

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

Returns:

the list of checkers to be run

setProcessingEnvironment

protected void setProcessingEnvironment(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

Parameters:

env - the new processing environment

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(TypeElement element,
 TreePath tree)

Description copied from class: SourceChecker

Type-check the code using this checker's visitor.

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.

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

Method AbstractTypeProcessor.getCompilerLog() can be used to access the number of compiler errors.

Overrides:

typeProcessingOver in class AbstractTypeProcessor

getSupportedOptions

public final Set<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 OptionConfiguration

Specified by:

getSupportedOptions in interface Processor

Overrides:

getSupportedOptions in class SourceChecker

getOptions

public final Map<String,String> getOptions()

Description copied from interface: OptionConfiguration

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 Set<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