Package org.checkerframework.checker.calledmethods

Class CalledMethodsAnalysis

java.lang.Object

org.checkerframework.dataflow.analysis.AbstractAnalysis<AccumulationValue,AccumulationStore,AccumulationTransfer>

org.checkerframework.dataflow.analysis.ForwardAnalysisImpl<AccumulationValue,AccumulationStore,AccumulationTransfer>

org.checkerframework.framework.flow.CFAbstractAnalysis<AccumulationValue,AccumulationStore,AccumulationTransfer>

org.checkerframework.common.accumulation.AccumulationAnalysis

org.checkerframework.checker.calledmethods.CalledMethodsAnalysis

All Implemented Interfaces:

Analysis<AccumulationValue,AccumulationStore,AccumulationTransfer>, ForwardAnalysis<AccumulationValue,AccumulationStore,AccumulationTransfer>

Direct Known Subclasses:

RLCCalledMethodsAnalysis

public class CalledMethodsAnalysis
extends AccumulationAnalysis

The analysis for the Called Methods Checker. The analysis is specialized to ignore certain exception types; see isIgnoredExceptionType(TypeMirror).

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.flow.CFAbstractAnalysis

CFAbstractAnalysis.FieldInitialValue<V extends CFAbstractValue<V>>

Nested classes/interfaces inherited from class org.checkerframework.dataflow.analysis.AbstractAnalysis

AbstractAnalysis.Worklist

Nested classes/interfaces inherited from interface org.checkerframework.dataflow.analysis.Analysis

Analysis.BeforeOrAfter, Analysis.Direction

Field Summary

Fields

Modifier and Type	Field	Description
protected static final Set<@CanonicalName String>	ignoredExceptionTypes	The fully-qualified names of the exception types that are ignored by this checker when computing dataflow stores.

Fields inherited from class org.checkerframework.framework.flow.CFAbstractAnalysis

atypeFactory, checker, dependentTypesHelper, env, fieldValues, qualHierarchy, typeHierarchy, types

Fields inherited from class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl

blockCount, elseStores, maxCountBeforeWidening, storesAtReturnStatements, thenStores

Fields inherited from class org.checkerframework.dataflow.analysis.AbstractAnalysis

cfg, currentInput, currentNode, currentTree, direction, finalLocalValues, inputs, isRunning, nodeValues, transferFunction, worklist

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CalledMethodsAnalysis(BaseTypeChecker checker, CalledMethodsAnnotatedTypeFactory factory)	Creates a new CalledMethodsAnalysis.

Method Summary

Modifier and Type	Method	Description
protected boolean	isIgnoredExceptionType(TypeMirror exceptionType)	Ignore exceptional control flow due to ignored exception types.

Methods inherited from class org.checkerframework.common.accumulation.AccumulationAnalysis

createAbstractValue, createCopiedStore, createEmptyStore

Methods inherited from class org.checkerframework.framework.flow.CFAbstractAnalysis

callTransferFunction, createAbstractValue, createSingleAnnotationValue, createTransferFunction, defaultCreateAbstractValue, getEnv, getFieldInitialValues, getTypeFactory, getTypeHierarchy, getTypes, performAnalysis

Methods inherited from class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl

addStoreBefore, getInput, getInputBefore, getReturnStatementStores, getStoreBefore, initFields, initInitialInputs, performAnalysis, performAnalysisBlock, propagateStoresTo, runAnalysisFor

Methods inherited from class org.checkerframework.dataflow.analysis.AbstractAnalysis

addToWorklist, getContainingClass, getContainingMethod, getCurrentTree, getDirection, getEnclosingClass, getEnclosingMethod, getExceptionalExitStore, getNodesForTree, getNodeValues, getRegularExitStore, getResult, getTransferFunction, getValue, getValue, init, isRunning, setCurrentNode, setCurrentTree, updateNodeValues

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.checkerframework.dataflow.analysis.Analysis

getDirection, getExceptionalExitStore, getRegularExitStore, getResult, getTransferFunction, getValue, getValue, isRunning

Field Details

ignoredExceptionTypes

protected static final Set<@CanonicalName String> ignoredExceptionTypes

The fully-qualified names of the exception types that are ignored by this checker when computing dataflow stores.

Constructor Details

CalledMethodsAnalysis

protected CalledMethodsAnalysis(BaseTypeChecker checker,
 CalledMethodsAnnotatedTypeFactory factory)

Creates a new CalledMethodsAnalysis.

Parameters:

checker - the checker

factory - the factory

Method Details

isIgnoredExceptionType

protected boolean isIgnoredExceptionType(TypeMirror exceptionType)

Ignore exceptional control flow due to ignored exception types.

Overrides:

isIgnoredExceptionType in class AbstractAnalysis<AccumulationValue,AccumulationStore,AccumulationTransfer>

Parameters:

exceptionType - exception type

Returns:

true if exceptionType is a member of ignoredExceptionTypes, false otherwise