org.checkerframework.checker.nullness

Class NullnessStore

java.lang.Object

org.checkerframework.framework.flow.CFAbstractStore<V,S>

org.checkerframework.checker.initialization.InitializationStore<NullnessValue,NullnessStore>

org.checkerframework.checker.nullness.NullnessStore

All Implemented Interfaces:

org.checkerframework.dataflow.analysis.Store<NullnessStore>

public class NullnessStore
extends InitializationStore<NullnessValue,NullnessStore>

Behaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable.

Nested Class Summary

Nested classes/interfaces inherited from interface org.checkerframework.dataflow.analysis.Store

org.checkerframework.dataflow.analysis.Store.FlowRule, org.checkerframework.dataflow.analysis.Store.Kind

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	isPolyNullNull

Fields inherited from class org.checkerframework.checker.initialization.InitializationStore

initializedFields, invariantFields

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

analysis, arrayValues, classValues, fieldValues, localVariableValues, methodValues, sequentialSemantics, thisValue

Constructor Summary

Constructors

Constructor and Description
NullnessStore(org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,?> analysis, boolean sequentialSemantics)
NullnessStore(NullnessStore s)

Method Summary

Modifier and Type	Method and Description
protected void	internalVisualize(org.checkerframework.dataflow.cfg.CFGVisualizer<NullnessValue,NullnessStore,?> viz)
boolean	isPolyNullNull()
NullnessStore	leastUpperBound(NullnessStore other)
void	setPolyNullNull(boolean isPolyNullNull)
protected boolean	supersetOf(org.checkerframework.framework.flow.CFAbstractStore<NullnessValue,NullnessStore> o)

Methods inherited from class org.checkerframework.checker.initialization.InitializationStore

addInitializedField, addInitializedField, getAnalysis, getFieldValues, insertValue, isFieldInitialized, updateForMethodCall

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

canAlias, canInsertReceiver, clearValue, copy, equals, getValue, getValue, getValue, getValue, getValue, getValue, hashCode, initializeMethodParameter, initializeThisValue, insertThisValue, insertValue, isMonotonicUpdate, isSideEffectFree, removeConflicting, removeConflicting, removeConflicting, replaceValue, toString, updateForArrayAssignment, updateForAssignment, updateForFieldAccessAssignment, updateForLocalVariableAssignment, visualize, widenedUpperBound

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

isPolyNullNull

protected boolean isPolyNullNull

Constructor Detail

NullnessStore

public NullnessStore(org.checkerframework.framework.flow.CFAbstractAnalysis<NullnessValue,NullnessStore,?> analysis,
                     boolean sequentialSemantics)

NullnessStore

public NullnessStore(NullnessStore s)

Method Detail

leastUpperBound

public NullnessStore leastUpperBound(NullnessStore other)

Specified by:

leastUpperBound in interface org.checkerframework.dataflow.analysis.Store<NullnessStore>

Overrides:

leastUpperBound in class InitializationStore<NullnessValue,NullnessStore>

supersetOf

protected boolean supersetOf(org.checkerframework.framework.flow.CFAbstractStore<NullnessValue,NullnessStore> o)

Overrides:

supersetOf in class InitializationStore<NullnessValue,NullnessStore>

internalVisualize

protected void internalVisualize(org.checkerframework.dataflow.cfg.CFGVisualizer<NullnessValue,NullnessStore,?> viz)

Overrides:

internalVisualize in class InitializationStore<NullnessValue,NullnessStore>

isPolyNullNull

public boolean isPolyNullNull()

setPolyNullNull

public void setPolyNullNull(boolean isPolyNullNull)