public class NullnessAnalysis extends org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>
Constructor and Description |
---|
NullnessAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker,
NullnessAnnotatedTypeFactory factory,
List<org.checkerframework.javacutil.Pair<VariableElement,NullnessValue>> fieldValues) |
Modifier and Type | Method and Description |
---|---|
NullnessValue |
createAbstractValue(Set<AnnotationMirror> annotations,
TypeMirror underlyingType) |
NullnessStore |
createCopiedStore(NullnessStore s) |
NullnessStore |
createEmptyStore(boolean sequentialSemantics) |
createAbstractValue, createSingleAnnotationValue, createTransferFunction, defaultCreateAbstractValue, getFieldValues, getTypeFactory, getTypeHierarchy, performAnalysis, visualizeCFG
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
public NullnessAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker, NullnessAnnotatedTypeFactory factory, List<org.checkerframework.javacutil.Pair<VariableElement,NullnessValue>> fieldValues)
public NullnessStore createEmptyStore(boolean sequentialSemantics)
createEmptyStore
in class org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>
public NullnessStore createCopiedStore(NullnessStore s)
createCopiedStore
in class org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>
public NullnessValue createAbstractValue(Set<AnnotationMirror> annotations, TypeMirror underlyingType)
createAbstractValue
in class org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,NullnessTransfer>