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:

Processor, OptionConfiguration

Direct Known Subclasses:

MustCallNoCreatesObligationChecker

@StubFiles(value={"JavaEE.astub","Reflection.astub","SocketCreatesObligation.astub"})
 @SupportedOptions(value={"noCreatesObligation","noLightweightOwnership","noResourceAliases"})
public class MustCallChecker
extends BaseTypeChecker

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

Field Summary

Fields

Modifier and Type	Field and Description
static String	NO_CREATES_OBLIGATION Disables @CreatesObligation support.
static String	NO_LIGHTWEIGHT_OWNERSHIP Disables @Owning/@NotOwning support.
static String	NO_RESOURCE_ALIASES Disables @MustCallAlias support.

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

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

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Constructor and 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, getTreePathCacher, getTypeFactory, getTypeFactoryOfSubchecker, getUltimateParentChecker, getVisitor, hasOptionNoSubcheckers, initChecker, invokeConstructorFor, printOrStoreMessage, processArg, reportJavacError, 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, getSupportedAnnotationTypes, getSupportedSourceVersion, getSuppressWarningsPrefixes, getTreeUtils, getTypeUtils, getUpstreamCheckerNames, hasOption, init, message, message, printOrStoreMessage, printStats, report, reportError, reportWarning, setLintOption, setParentChecker, setProcessingEnvironment, setSupportedLintOptions, shouldSkipDefs, shouldSkipDefs, shouldSkipUses, shouldSkipUses, 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

Field Detail

NO_CREATES_OBLIGATION

public static final String NO_CREATES_OBLIGATION

Disables @CreatesObligation support.

See Also:

Constant Field Values

NO_LIGHTWEIGHT_OWNERSHIP

public static final String NO_LIGHTWEIGHT_OWNERSHIP

Disables @Owning/@NotOwning support.

See Also:

Constant Field Values

NO_RESOURCE_ALIASES

public static final String NO_RESOURCE_ALIASES

Disables @MustCallAlias support.

See Also:

Constant Field Values

Constructor Detail

MustCallChecker

public MustCallChecker()