org.checkerframework.checker.lock

Class LockAnalysis

java.lang.Object

org.checkerframework.dataflow.analysis.Analysis<V,S,T>

org.checkerframework.framework.flow.CFAbstractAnalysis<org.checkerframework.framework.flow.CFValue,LockStore,LockTransfer>

org.checkerframework.checker.lock.LockAnalysis

public class LockAnalysis
extends org.checkerframework.framework.flow.CFAbstractAnalysis<org.checkerframework.framework.flow.CFValue,LockStore,LockTransfer>

The analysis class for the lock type system.

This class extends CFAbstractAnalysis so that LockStore is used rather than CFStore.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.dataflow.analysis.Analysis

org.checkerframework.dataflow.analysis.Analysis.Worklist

Field Summary

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

atypeFactory, checker, dependentTypesHelper, fieldValues, qualifierHierarchy, typeHierarchy

Fields inherited from class org.checkerframework.dataflow.analysis.Analysis

blockCount, cfg, currentInput, currentNode, currentTree, elseStores, env, finalLocalValues, inputs, isRunning, maxCountBeforeWidening, nodeValues, storesAtReturnStatements, thenStores, transferFunction, types, worklist

Constructor Summary

Constructors

Constructor and Description
LockAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker, LockAnnotatedTypeFactory factory, List<org.checkerframework.javacutil.Pair<VariableElement,org.checkerframework.framework.flow.CFValue>> fieldValues)

Method Summary

Modifier and Type	Method and Description
org.checkerframework.framework.flow.CFValue	createAbstractValue(Set<AnnotationMirror> annotations, TypeMirror underlyingType)
LockStore	createCopiedStore(LockStore s)
LockStore	createEmptyStore(boolean sequentialSemantics)
LockTransfer	createTransferFunction()

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

createAbstractValue, createSingleAnnotationValue, defaultCreateAbstractValue, getFieldValues, getTypeFactory, getTypeHierarchy, performAnalysis, visualizeCFG

Methods inherited from class org.checkerframework.dataflow.analysis.Analysis

addStoreBefore, addToWorklist, callTransferFunction, getContainingClass, getContainingMethod, getCurrentTree, getEnv, getExceptionalExitStore, getInput, getInputBefore, getNodesForTree, getNodeValues, getRegularExitStore, getResult, getReturnStatementStores, getStoreBefore, getTransferFunction, getTypes, getValue, getValue, init, isRunning, performAnalysis, performAnalysisBlock, propagateStoresTo, readFromStore, setCurrentTree, updateNodeValues

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LockAnalysis

public LockAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker,
                    LockAnnotatedTypeFactory factory,
                    List<org.checkerframework.javacutil.Pair<VariableElement,org.checkerframework.framework.flow.CFValue>> fieldValues)

Method Detail

createTransferFunction

public LockTransfer createTransferFunction()

Overrides:

createTransferFunction in class org.checkerframework.framework.flow.CFAbstractAnalysis<org.checkerframework.framework.flow.CFValue,LockStore,LockTransfer>

createEmptyStore

public LockStore createEmptyStore(boolean sequentialSemantics)

Specified by:

createEmptyStore in class org.checkerframework.framework.flow.CFAbstractAnalysis<org.checkerframework.framework.flow.CFValue,LockStore,LockTransfer>

createCopiedStore

public LockStore createCopiedStore(LockStore s)

Specified by:

createCopiedStore in class org.checkerframework.framework.flow.CFAbstractAnalysis<org.checkerframework.framework.flow.CFValue,LockStore,LockTransfer>

createAbstractValue

public org.checkerframework.framework.flow.CFValue createAbstractValue(Set<AnnotationMirror> annotations,
                                                                       TypeMirror underlyingType)

Specified by:

createAbstractValue in class org.checkerframework.framework.flow.CFAbstractAnalysis<org.checkerframework.framework.flow.CFValue,LockStore,LockTransfer>