Package org.checkerframework.checker.mustcall

Class MustCallChecker

java.lang.Object

javax.annotation.processing.AbstractProcessor

org.checkerframework.javacutil.AbstractTypeProcessor

org.checkerframework.framework.source.SourceChecker

org.checkerframework.common.basetype.BaseTypeChecker

org.checkerframework.checker.mustcall.MustCallChecker

All Implemented Interfaces:

javax.annotation.processing.Processor, OptionConfiguration

Direct Known Subclasses:

MustCallNoCreatesMustCallForChecker

@StubFiles({"IOUtils.astub","JavaEE.astub","JdkCompiler.astub","Reflection.astub","SocketCreatesMustCallFor.astub"})
@SupportedOptions({"noCreatesMustCallFor","noLightweightOwnership","noResourceAliases"})
public class MustCallChecker
extends BaseTypeChecker

This typechecker ensures that @MustCall annotations are consistent with one another. The Resource Leak Checker verifies that the given methods are actually called.

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	NO_CREATES_MUSTCALLFOR	Disables @CreatesMustCallFor support.
static java.lang.String	NO_LIGHTWEIGHT_OWNERSHIP	Disables @Owning/@NotOwning support.
static java.lang.String	NO_RESOURCE_ALIASES	Disables @MustCallAlias support.

Fields inherited from class org.checkerframework.framework.source.SourceChecker

currentRoot, DETAILS_SEPARATOR, elements, elementsWithSuppressedWarnings, errsOnLastExit, javacErrored, messager, messagesProperties, MSGS_FILE, OPTION_SEPARATOR, parentChecker, SUPPRESS_ALL_MESSAGE_KEY, SUPPRESS_ALL_PREFIX, treePathCacher, trees, types, UNNEEDED_SUPPRESSION_KEY, upstreamCheckerNames, useAllcheckersPrefix, visitor

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor	Description
MustCallChecker()

Method Summary

Methods inherited from class org.checkerframework.common.basetype.BaseTypeChecker

createSourceVisitor, createSourceVisitorPublic, getAnnotationProvider, getExtraStubFiles, getImmediateSubcheckerClasses, getOptions, getOptionsNoSubcheckers, getRelatedClassName, getSubchecker, getSubcheckers, getSupportedLintOptions, getSupportedOptions, getSuppressWarningsPrefixesOfSubcheckers, getTypeFactory, getTypeFactoryOfSubcheckerOrNull, getUltimateParentChecker, getVisitor, hasOptionNoSubcheckers, initChecker, invokeConstructorFor, printOrStoreMessage, processErrorMessageArg, setRoot, shouldAddShutdownHook, shouldResolveReflection, shutdownHook, typeProcess, typeProcessingOver, warnUnneededSuppressions

Methods inherited from class org.checkerframework.framework.source.SourceChecker

addOptions, createSupportedLintOptions, expandCFOptions, fullMessageOf, getBooleanOption, getBooleanOption, getElementUtils, getLintOption, getLintOption, getMessagesProperties, getOption, getOption, getOptionConfiguration, getParentChecker, getPathToCompilationUnit, getProcessingEnvironment, getProperties, getStandardSuppressWarningsPrefixes, getStringsOption, getStringsOption, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsPrefixes, getTreePathCacher, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, getWarningMessagePrefix, hasOption, init, message, message, messageKeyMatches, printOrStoreMessage, printStats, report, reportError, reportWarning, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, shouldSuppressWarnings, shouldSuppressWarnings, shouldSuppressWarnings, typeProcessingStart, useConservativeDefault, warnUnneededSuppressions

Methods inherited from class org.checkerframework.javacutil.AbstractTypeProcessor

getCompilerLog, 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

Methods inherited from interface org.checkerframework.framework.util.OptionConfiguration

getStringsOption, getStringsOption

Field Detail

NO_CREATES_MUSTCALLFOR

public static final java.lang.String NO_CREATES_MUSTCALLFOR

Disables @CreatesMustCallFor support. Not of interest to most users. Not documented in the manual.

See Also:

Constant Field Values

NO_LIGHTWEIGHT_OWNERSHIP

public static final java.lang.String NO_LIGHTWEIGHT_OWNERSHIP

Disables @Owning/@NotOwning support. Not of interest to most users. Not documented in the manual.

See Also:

Constant Field Values

NO_RESOURCE_ALIASES

public static final java.lang.String NO_RESOURCE_ALIASES

Disables @MustCallAlias support. Not of interest to most users. Not documented in the manual.

See Also:

Constant Field Values

Constructor Detail

MustCallChecker

public MustCallChecker()