Package org.checkerframework.checker.nullness

Class KeyForStore

java.lang.Object

org.checkerframework.framework.flow.CFAbstractStore<KeyForValue,KeyForStore>

org.checkerframework.checker.nullness.KeyForStore

All Implemented Interfaces:

Store<KeyForStore>, org.plumelib.util.UniqueId

public class KeyForStore
extends CFAbstractStore<KeyForValue,KeyForStore>

Nested Class Summary

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

Store.FlowRule, Store.Kind

Field Summary

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

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

Constructor Summary

Constructors

Modifier	Constructor	Description
	KeyForStore(CFAbstractAnalysis<KeyForValue,KeyForStore,?> analysis, boolean sequentialSemantics)
protected	KeyForStore(CFAbstractStore<KeyForValue,KeyForStore> other)

Method Summary

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

canAlias, canInsertJavaExpression, clearValue, computeNewValueAndInsert, copy, equals, getFieldValue, getFieldValues, getUid, getValue, getValue, getValue, getValue, getValue, getValue, hashCode, initializeMethodParameter, initializeThisValue, insertOrRefine, insertOrRefine, insertOrRefinePermitNondeterministic, insertThisValue, insertValue, insertValue, insertValue, insertValuePermitNondeterministic, insertValuePermitNondeterministic, internalVisualize, isMonotonicUpdate, isSideEffectFree, leastUpperBound, newFieldValueAfterMethodCall, newMonotonicFieldValueAfterMethodCall, removeConflicting, removeConflicting, removeConflicting, replaceValue, shouldInsert, supersetOf, toString, updateForArrayAssignment, updateForAssignment, updateForFieldAccessAssignment, updateForLocalVariableAssignment, updateForMethodCall, visualize, widenedUpperBound

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid

Constructor Detail

KeyForStore

public KeyForStore(CFAbstractAnalysis<KeyForValue,KeyForStore,?> analysis,
                   boolean sequentialSemantics)

KeyForStore

protected KeyForStore(CFAbstractStore<KeyForValue,KeyForStore> other)