org.checkerframework.checker.nullness

Class NullnessAnalysis

java.lang.Object

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

org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>

org.checkerframework.checker.nullness.NullnessAnalysis

public class NullnessAnalysis
extends org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>

The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.

Nested Class Summary

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

org.checkerframework.dataflow.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
NullnessAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker, NullnessAnnotatedTypeFactory factory, List<org.checkerframework.javacutil.Pair<VariableElement,NullnessValue>> fieldValues)

Method Summary

Modifier and Type	Method and Description
NullnessValue	createAbstractValue(Set<AnnotationMirror> annotations, TypeMirror underlyingType)
NullnessStore	createCopiedStore(NullnessStore s)
NullnessStore	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

NullnessAnalysis

public NullnessAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker,
                        NullnessAnnotatedTypeFactory factory,
                        List<org.checkerframework.javacutil.Pair<VariableElement,NullnessValue>> fieldValues)

Method Detail

createEmptyStore

public NullnessStore createEmptyStore(boolean sequentialSemantics)

Specified by:

createEmptyStore in class org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>

createCopiedStore

public NullnessStore createCopiedStore(NullnessStore s)

Specified by:

createCopiedStore in class org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>

createAbstractValue

public NullnessValue createAbstractValue(Set<AnnotationMirror> annotations,
                                         TypeMirror underlyingType)

Specified by:

createAbstractValue in class org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>