org.checkerframework.checker.i18nformatter

Class I18nFormatterAnalysis

java.lang.Object

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

org.checkerframework.framework.flow.CFAbstractAnalysis<CFValue,CFStore,I18nFormatterTransfer>

org.checkerframework.checker.i18nformatter.I18nFormatterAnalysis

public class I18nFormatterAnalysis
extends CFAbstractAnalysis<CFValue,CFStore,I18nFormatterTransfer>

Needed for flow analysis to implement I18nFormatUtil.hasFormat(java.lang.String, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory...), I18nFormatUtil.isFormat(java.lang.String), and MakeFormat in I18nFormatterTransfer.

Author:

Siwakorn Srisakaokul

See the Checker Framework Manual:

Internationalization Format String Checker

Nested Class Summary

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

Analysis.Worklist

Field Summary

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

atypeFactory, checker, fieldValues, qualifierHierarchy, typeHierarchy

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

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

Constructor Summary

Constructors

Constructor and Description
I18nFormatterAnalysis(BaseTypeChecker checker, I18nFormatterAnnotatedTypeFactory factory, List<Pair<VariableElement,CFValue>> fieldValues)

Method Summary

Modifier and Type	Method and Description
CFValue	createAbstractValue(AnnotatedTypeMirror type)
CFStore	createCopiedStore(CFStore s)
CFStore	createEmptyStore(boolean sequentialSemantics)
I18nFormatterTransfer	createTransferFunction()

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

createSingleAnnotationValue, defaultCreateAbstractValue, getFieldValues, getTypeFactory, getTypeFactoryOfSubchecker, getTypeHierarchy, outputToDotFile

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

I18nFormatterAnalysis

public I18nFormatterAnalysis(BaseTypeChecker checker,
                             I18nFormatterAnnotatedTypeFactory factory,
                             List<Pair<VariableElement,CFValue>> fieldValues)

Method Detail

createTransferFunction

public I18nFormatterTransfer createTransferFunction()

Overrides:

createTransferFunction in class CFAbstractAnalysis<CFValue,CFStore,I18nFormatterTransfer>

Returns:

The transfer function to be used by the analysis.

createEmptyStore

public CFStore createEmptyStore(boolean sequentialSemantics)

Specified by:

createEmptyStore in class CFAbstractAnalysis<CFValue,CFStore,I18nFormatterTransfer>

Returns:

An empty store of the appropriate type.

createCopiedStore

public CFStore createCopiedStore(CFStore s)

Specified by:

createCopiedStore in class CFAbstractAnalysis<CFValue,CFStore,I18nFormatterTransfer>

Returns:

An identical copy of the store s.

createAbstractValue

public CFValue createAbstractValue(AnnotatedTypeMirror type)

Specified by:

createAbstractValue in class CFAbstractAnalysis<CFValue,CFStore,I18nFormatterTransfer>

Returns:

An abstract value containing the given annotated type.