@TypeQualifiers(value={Nullable.class,MonotonicNonNull.class,NonNull.class,UnderInitialization.class,Initialized.class,UnknownInitialization.class,FBCBottom.class,PolyNull.class,PolyAll.class}) @SupportedLintOptions(value={"noInitForMonotonicNonNull","redundantNullComparison","arrays:forbidnonnullcomponents"}) public class AbstractNullnessFbcChecker extends AbstractNullnessChecker
AbstractNullnessChecker
using
freedom-before-commitment.SourceChecker.CheckerError
LINT_DEFAULT_NOINITFORMONOTONICNONNULL, LINT_DEFAULT_REDUNDANTNULLCOMPARISON, LINT_NOINITFORMONOTONICNONNULL, LINT_REDUNDANTNULLCOMPARISON
useFbc
currentPath, currentRoot, DETAILS_SEPARATOR, messager, messages, MSGS_FILE, trees, visitor
Constructor and Description |
---|
AbstractNullnessFbcChecker() |
createSourceVisitor, getSuppressWarningsKeys
getAllFields
getSupportedLintOptions, invokeConstructorFor
addOptions, createSupportedLintOptions, errorAbort, errorAbort, expandCFOptions, formatStackTrace, fullMessageOf, getLintOption, getLintOption, getMessages, getOption, getOption, getOptions, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, hasOption, initChecker, message, printStats, report, setLintOption, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shutdownHook, treeToFilePositionString, typeProcess, typeProcessingStart
init, process, typeProcessingOver