@TypeQualifiers(value={ReadOnly.class,ThisMutable.class,Mutable.class,PolyRead.class,QReadOnly.class,PolyAll.class}) public class JavariChecker extends BaseTypeChecker
@ReadOnly
, @Mutable
,
@Assignable
, @PolyRead
and @QReadOnly
).SourceChecker.CheckerError
currentPath, currentRoot, DETAILS_SEPARATOR, messager, messages, MSGS_FILE, trees, visitor
Constructor and Description |
---|
JavariChecker() |
createSourceVisitor, getSupportedLintOptions, invokeConstructorFor
addOptions, createSupportedLintOptions, errorAbort, errorAbort, expandCFOptions, formatStackTrace, fullMessageOf, getLintOption, getLintOption, getMessages, getOption, getOption, getOptions, getProcessingEnvironment, getProperties, getStandardSuppressWarningsKeys, getSupportedAnnotationTypes, getSupportedOptions, getSupportedSourceVersion, getSuppressWarningsKeys, hasOption, initChecker, message, printStats, report, setLintOption, setSupportedLintOptions, shouldAddShutdownHook, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shutdownHook, treeToFilePositionString, typeProcess, typeProcessingStart
init, process, typeProcessingOver