Package org.checkerframework.checker.rlccalledmethods

Class RLCCalledMethodsAnalysis

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

org.checkerframework.checker.rlccalledmethods.RLCCalledMethodsAnalysis

All Implemented Interfaces:

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

public class RLCCalledMethodsAnalysis
extends CalledMethodsAnalysis

This variant of CFAnalysis extends the set of ignored exception types.

See Also:

• RLCCalledMethodsChecker.getIgnoredExceptions()

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 inherited from class org.checkerframework.checker.calledmethods.CalledMethodsAnalysis

ignoredExceptionTypes

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	RLCCalledMethodsAnalysis(RLCCalledMethodsChecker checker, CalledMethodsAnnotatedTypeFactory factory)	Creates a new CalledMethodsAnalysis.

Method Summary

Modifier and Type	Method	Description
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

Constructor Details

RLCCalledMethodsAnalysis

protected RLCCalledMethodsAnalysis(RLCCalledMethodsChecker checker,
 CalledMethodsAnnotatedTypeFactory factory)

Creates a new CalledMethodsAnalysis.

Parameters:

checker - the checker

factory - the factory

Method Details

isIgnoredExceptionType

public boolean isIgnoredExceptionType(TypeMirror exceptionType)

Description copied from class: CalledMethodsAnalysis

Ignore exceptional control flow due to ignored exception types.

Overrides:

isIgnoredExceptionType in class CalledMethodsAnalysis

Parameters:

exceptionType - exception type

Returns:

true if exceptionType is a member of CalledMethodsAnalysis.ignoredExceptionTypes, false otherwise