Modifier and Type | Field and Description |
---|---|
protected boolean |
inConstructorOrInitializer
If true, indicates that the store refers to a point in the code inside a constructor or
initializer.
|
Constructor and Description |
---|
LockStore(LockAnalysis analysis,
boolean sequentialSemantics) |
LockStore(LockAnalysis analysis,
org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore> other)
Copy constructor.
|
Modifier and Type | Method and Description |
---|---|
@Nullable org.checkerframework.framework.flow.CFValue |
getValue(org.checkerframework.dataflow.analysis.FlowExpressions.Receiver expr) |
void |
insertLockPossiblyHeld(org.checkerframework.dataflow.analysis.FlowExpressions.Receiver r) |
void |
insertValue(org.checkerframework.dataflow.analysis.FlowExpressions.Receiver r,
@Nullable org.checkerframework.framework.flow.CFValue value) |
protected void |
internalVisualize(org.checkerframework.dataflow.cfg.CFGVisualizer<org.checkerframework.framework.flow.CFValue,LockStore,?> viz) |
protected boolean |
isSideEffectFree(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory,
ExecutableElement method) |
LockStore |
leastUpperBound(LockStore other) |
void |
setInConstructorOrInitializer() |
void |
updateForMethodCall(org.checkerframework.dataflow.cfg.node.MethodInvocationNode n,
org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory,
org.checkerframework.framework.flow.CFValue val) |
canAlias, canInsertReceiver, clearValue, copy, equals, getValue, getValue, getValue, getValue, getValue, hashCode, initializeMethodParameter, initializeThisValue, insertThisValue, insertValue, isMonotonicUpdate, removeConflicting, removeConflicting, removeConflicting, replaceValue, supersetOf, toString, updateForArrayAssignment, updateForAssignment, updateForFieldAccessAssignment, updateForLocalVariableAssignment, visualize, widenedUpperBound
protected boolean inConstructorOrInitializer
public LockStore(LockAnalysis analysis, boolean sequentialSemantics)
public LockStore(LockAnalysis analysis, org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore> other)
public void insertLockPossiblyHeld(org.checkerframework.dataflow.analysis.FlowExpressions.Receiver r)
public void setInConstructorOrInitializer()
public @Nullable org.checkerframework.framework.flow.CFValue getValue(org.checkerframework.dataflow.analysis.FlowExpressions.Receiver expr)
getValue
in class org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore>
protected void internalVisualize(org.checkerframework.dataflow.cfg.CFGVisualizer<org.checkerframework.framework.flow.CFValue,LockStore,?> viz)
internalVisualize
in class org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore>
protected boolean isSideEffectFree(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory, ExecutableElement method)
isSideEffectFree
in class org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore>
public void updateForMethodCall(org.checkerframework.dataflow.cfg.node.MethodInvocationNode n, org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory, org.checkerframework.framework.flow.CFValue val)
updateForMethodCall
in class org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore>
public void insertValue(org.checkerframework.dataflow.analysis.FlowExpressions.Receiver r, @Nullable org.checkerframework.framework.flow.CFValue value)
insertValue
in class org.checkerframework.framework.flow.CFAbstractStore<org.checkerframework.framework.flow.CFValue,LockStore>