Package org.checkerframework.checker.resourceleak

Class ResourceLeakAnalysis

java.lang.Object

org.checkerframework.dataflow.analysis.AbstractAnalysis<V,S,T>

org.checkerframework.dataflow.analysis.ForwardAnalysisImpl<V,S,T>

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

org.checkerframework.common.accumulation.AccumulationAnalysis

org.checkerframework.checker.calledmethods.CalledMethodsAnalysis

org.checkerframework.checker.resourceleak.ResourceLeakAnalysis

All Implemented Interfaces:

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

public class ResourceLeakAnalysis
extends CalledMethodsAnalysis

This variant of CFAnalysis extends the set of ignored exception types to include all those ignored by the MustCallConsistencyAnalyzer. See MustCallConsistencyAnalyzer.ignoredExceptionTypes.

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

Method Summary

Methods inherited from class org.checkerframework.checker.calledmethods.CalledMethodsAnalysis

isIgnoredExceptionType

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

createAbstractValue, createCopiedStore, createEmptyStore

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

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

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

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

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

addToWorklist, getContainingClass, getContainingMethod, getCurrentTree, getDirection, getExceptionalExitStore, getNodesForTree, getNodeValues, getRegularExitStore, getResult, getTransferFunction, getValue, getValue, init, isRunning, readFromStore, 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

ResourceLeakAnalysis

protected ResourceLeakAnalysis(BaseTypeChecker checker,
 CalledMethodsAnnotatedTypeFactory factory)

Creates a new CalledMethodsAnalysis.

Parameters:

checker - the checker

factory - the factory