public class KeyForStore extends org.checkerframework.framework.flow.CFAbstractStore<KeyForValue,KeyForStore>
Modifier | Constructor and Description |
---|---|
|
KeyForStore(org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,?> analysis,
boolean sequentialSemantics) |
protected |
KeyForStore(org.checkerframework.framework.flow.CFAbstractStore<KeyForValue,KeyForStore> other) |
canAlias, canInsertReceiver, clearValue, copy, equals, getValue, getValue, getValue, getValue, getValue, getValue, hashCode, initializeMethodParameter, initializeThisValue, insertThisValue, insertValue, insertValue, internalVisualize, isMonotonicUpdate, isSideEffectFree, leastUpperBound, removeConflicting, removeConflicting, removeConflicting, replaceValue, supersetOf, toString, updateForArrayAssignment, updateForAssignment, updateForFieldAccessAssignment, updateForLocalVariableAssignment, updateForMethodCall, visualize, widenedUpperBound
public KeyForStore(org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,?> analysis, boolean sequentialSemantics)
protected KeyForStore(org.checkerframework.framework.flow.CFAbstractStore<KeyForValue,KeyForStore> other)