org.checkerframework.common.util.count

Class AnnotationStatistics

java.lang.Object

javax.annotation.processing.AbstractProcessor

org.checkerframework.javacutil.AbstractTypeProcessor

org.checkerframework.framework.source.SourceChecker

org.checkerframework.common.util.count.AnnotationStatistics

All Implemented Interfaces:

Processor, BaseContext, CFContext, OptionConfiguration, ErrorHandler

@SupportedOptions(value={"nolocations","annotations"})
 @SupportedSourceVersion(value=RELEASE_8)
public class AnnotationStatistics
extends SourceChecker

An annotation processor for listing the potential locations of annotations. To invoke it, use

 javac -proc:only -processor org.checkerframework.common.util.count.AnnotationStatistics MyFile.java ...
 

You probably want to pipe the output through another program:

• Total annotation count: ... | wc.
• Breakdown by location type: ... | sort | uniq -c
• Count for only certain location types: use grep

By default, this utility displays annotation locations only. The following two options may be used to adjust the output:

• -Aannotations: prints information about the annotations
• -Anolocations: suppresses location output; only makes sense in conjunction with -Aannotations

See Also:

JavaCodeStatistics

Nested Class Summary

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

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
AnnotationStatistics()

Method Summary

Modifier and Type	Method and Description
protected SourceVisitor<?,?>	createSourceVisitor() Provides the SourceVisitor that the checker should use to scan input source trees.
AnnotationProvider	getAnnotationProvider()
protected void	incrementCount(Name annoName) Increment the number of times annotation with name annoName has appeared.
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, getBooleanOption, getBooleanOption, getChecker, getContext, getElementUtils, getLintOption, getLintOption, getMessages, getOption, getOption, getOptionConfiguration, getOptions, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedLintOptions, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKeys, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, getVisitor, hasOption, init, initChecker, message, printMessage, printStats, processArg, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shutdownHook, treeToFilePositionString, typeProcess, typeProcessingStart, userErrorAbort, useUncheckedCodeDefault, warnUnneededSuppressions, 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

Constructor Detail

AnnotationStatistics

public AnnotationStatistics()

Method Detail

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

incrementCount

protected void incrementCount(Name annoName)

Increment the number of times annotation with name annoName has appeared.

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

getAnnotationProvider

public AnnotationProvider getAnnotationProvider()

Specified by:

getAnnotationProvider in interface BaseContext

Overrides:

getAnnotationProvider in class SourceChecker