Package org.checkerframework.common.accumulation

Class AccumulationStore

java.lang.Object

org.checkerframework.framework.flow.CFAbstractStore<AccumulationValue,AccumulationStore>

org.checkerframework.common.accumulation.AccumulationStore

All Implemented Interfaces:

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

public class AccumulationStore
extends CFAbstractStore<AccumulationValue,AccumulationStore>

This class is boilerplate, to enable the logic in AccumulationValue.

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, methodCallExpressions, sequentialSemantics, thisValue

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AccumulationStore(CFAbstractAnalysis<AccumulationValue,AccumulationStore,?> analysis, boolean sequentialSemantics)	Creates an AccumulationStore.
protected	AccumulationStore(CFAbstractStore<AccumulationValue,AccumulationStore> other)	Creates an AccumulationStore as a copy of the given store.

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

AccumulationStore

protected AccumulationStore(CFAbstractAnalysis<AccumulationValue,AccumulationStore,?> analysis,
 boolean sequentialSemantics)

Creates an AccumulationStore.

Parameters:

analysis - the analysis

sequentialSemantics - if true, use sequential semantics; if false, use concurrent semantics

AccumulationStore

protected AccumulationStore(CFAbstractStore<AccumulationValue,AccumulationStore> other)

Creates an AccumulationStore as a copy of the given store.

Parameters:

other - another store