@TypeQualifiers(value={ReadOnly.class,Mutable.class,Immutable.class,I.class,AssignsFields.class,org.checkerframework.checker.igj.IGJBottom.class}) public class IGJChecker extends BaseTypeChecker
ReadOnly
, Mutable
,
Immutable
, I
-- a polymorphic qualifier, Assignable
,
and AssignsFields
. The language is specified by the FSE 2007 paper.SourceChecker.CheckerError
currentPath, currentRoot, DETAILS_SEPARATOR, messager, messages, MSGS_FILE, trees, visitor
Constructor and Description |
---|
IGJChecker() |
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