@StubFiles(value="jdnc.astub") @SupportedOptions(value={"quals","qualDirs"}) public class FenumChecker extends org.checkerframework.common.basetype.BaseTypeChecker
There are two options to distinguish different enumerators:
@Fenum("Name")
: introduces a fake enumerator with the name "Name". Enumerators with
different names are distinct. The default name is empty, but you are encouraged to use a
unique name for your purpose.
-Aqual
command line
argument.
currentRoot, DETAILS_SEPARATOR, elementsWithSuppressedWarnings, errsOnLastExit, messager, messages, MSGS_FILE, parentChecker, SUPPRESS_ALL_KEY, trees, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, visitor
processingEnv
Constructor and Description |
---|
FenumChecker() |
Modifier and Type | Method and Description |
---|---|
Collection<String> |
getSuppressWarningsKeys()
Copied from SubtypingChecker; cannot reuse it, because SubtypingChecker is final.
|
createSourceVisitor, getAnnotationProvider, getChecker, getContext, getImmediateSubcheckerClasses, 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, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, hasOption, init, message, printStats, report, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, treeToFilePositionString, typeProcessingStart, useUncheckedCodeDefault, warnUnneedSuppressions
getCompletions, isInitialized
public Collection<String> getSuppressWarningsKeys()
getSuppressWarningsKeys
in class org.checkerframework.framework.source.SourceChecker
SubtypingChecker.getSuppressWarningsKeys()