Package org.checkerframework.framework.flow

Class CFStore

java.lang.Object

org.checkerframework.framework.flow.CFAbstractStore<CFValue,CFStore>

org.checkerframework.framework.flow.CFStore

All Implemented Interfaces:

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

public class CFStore
extends CFAbstractStore<CFValue,CFStore>

The default store used in the Checker Framework.

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

Constructor	Description
CFStore(CFAbstractAnalysis<CFValue,CFStore,?> analysis, boolean sequentialSemantics)
CFStore(CFAbstractStore<CFValue,CFStore> other)	Copy constructor.

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 Details

CFStore

public CFStore(CFAbstractAnalysis<CFValue,CFStore,?> analysis,
 boolean sequentialSemantics)

CFStore

public CFStore(CFAbstractStore<CFValue,CFStore> other)

Copy constructor.

Parameters:

other - the CFStore to copy