public class KeyForAnalysis extends org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>
Constructor and Description |
---|
KeyForAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker,
KeyForAnnotatedTypeFactory factory,
java.util.List<org.checkerframework.javacutil.Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues) |
KeyForAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker,
KeyForAnnotatedTypeFactory factory,
java.util.List<org.checkerframework.javacutil.Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues,
int maxCountBeforeWidening) |
Modifier and Type | Method and Description |
---|---|
KeyForValue |
createAbstractValue(java.util.Set<javax.lang.model.element.AnnotationMirror> annotations,
javax.lang.model.type.TypeMirror underlyingType) |
KeyForStore |
createCopiedStore(KeyForStore store) |
KeyForStore |
createEmptyStore(boolean sequentialSemantics) |
createAbstractValue, createSingleAnnotationValue, createTransferFunction, defaultCreateAbstractValue, getFieldValues, getTypeFactory, getTypeHierarchy, performAnalysis, visualizeCFG
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
public KeyForAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker, KeyForAnnotatedTypeFactory factory, java.util.List<org.checkerframework.javacutil.Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues, int maxCountBeforeWidening)
public KeyForAnalysis(org.checkerframework.common.basetype.BaseTypeChecker checker, KeyForAnnotatedTypeFactory factory, java.util.List<org.checkerframework.javacutil.Pair<javax.lang.model.element.VariableElement,KeyForValue>> fieldValues)
public KeyForStore createEmptyStore(boolean sequentialSemantics)
createEmptyStore
in class org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>
public KeyForStore createCopiedStore(KeyForStore store)
createCopiedStore
in class org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>
public KeyForValue createAbstractValue(java.util.Set<javax.lang.model.element.AnnotationMirror> annotations, javax.lang.model.type.TypeMirror underlyingType)
createAbstractValue
in class org.checkerframework.framework.flow.CFAbstractAnalysis<KeyForValue,KeyForStore,KeyForTransfer>