org.checkerframework.checker.nullness

Class KeyForAnalysis

java.lang.Object

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

org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>

org.checkerframework.checker.nullness.KeyForAnalysis

public class KeyForAnalysis
extends CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>

Boiler plate code to glue together all the parts the KeyFor dataflow classes.

Nested Class Summary

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

Analysis.Worklist

Field Summary

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

atypeFactory, checker, dependentTypesHelper, fieldValues, qualifierHierarchy, typeHierarchy

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

blockCount, cfg, currentInput, currentNode, currentTree, elseStores, env, finalLocalValues, inputs, isRunning, maxCountBeforeWidening, nodeValues, storesAtReturnStatements, thenStores, transferFunction, types, worklist

Constructor Summary

Constructors

Constructor and Description
KeyForAnalysis(BaseTypeChecker checker, KeyForAnnotatedTypeFactory factory, java.util.List<Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues)
KeyForAnalysis(BaseTypeChecker checker, KeyForAnnotatedTypeFactory factory, java.util.List<Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues, int maxCountBeforeWidening)

Method Summary

Modifier and Type	Method and Description
KeyForValue	createAbstractValue(java.util.Set<javax.lang.model.element.AnnotationMirror> annotations, javax.lang.model.type.TypeMirror underlyingType)
KeyForStore	createCopiedStore(KeyForStore store)
KeyForStore	createEmptyStore(boolean sequentialSemantics)

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

createAbstractValue, createSingleAnnotationValue, createTransferFunction, defaultCreateAbstractValue, getFieldValues, getTypeFactory, getTypeHierarchy, performAnalysis, visualizeCFG

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

addStoreBefore, addToWorklist, callTransferFunction, getContainingClass, getContainingMethod, getCurrentTree, getEnv, getExceptionalExitStore, getInput, getInputBefore, getNodesForTree, getNodeValues, getRegularExitStore, getResult, getReturnStatementStores, getStoreBefore, getTransferFunction, getTypes, getValue, getValue, init, isRunning, performAnalysis, performAnalysisBlock, propagateStoresTo, readFromStore, setCurrentTree, updateNodeValues

Methods inherited from class java.lang.Object

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

Constructor Detail

KeyForAnalysis

public KeyForAnalysis(BaseTypeChecker checker,
                      KeyForAnnotatedTypeFactory factory,
                      java.util.List<Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues,
                      int maxCountBeforeWidening)

KeyForAnalysis

public KeyForAnalysis(BaseTypeChecker checker,
                      KeyForAnnotatedTypeFactory factory,
                      java.util.List<Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues)

Method Detail

createEmptyStore

public KeyForStore createEmptyStore(boolean sequentialSemantics)

Specified by:

createEmptyStore in class CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>

Returns:

an empty store of the appropriate type

createCopiedStore

public KeyForStore createCopiedStore(KeyForStore store)

Specified by:

createCopiedStore in class CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>

Returns:

an identical copy of the store s.

createAbstractValue

public KeyForValue createAbstractValue(java.util.Set<javax.lang.model.element.AnnotationMirror> annotations,
                                       javax.lang.model.type.TypeMirror underlyingType)

Specified by:

createAbstractValue in class CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>

Returns:

an abstract value containing the given annotations and underlyingType.