org.checkerframework.dataflow.analysis

Interface TransferFunction<A extends AbstractValue<A>,S extends Store<S>>

Type Parameters:

S - the Store used to keep track of intermediate results

All Superinterfaces:

NodeVisitor<TransferResult<A,S>,TransferInput<A,S>>

All Known Implementing Classes:

AliasingTransfer, CFAbstractTransfer, CFTransfer, ConstantPropagationTransfer, FormatterTransfer, I18nFormatterTransfer, IndexAbstractTransfer, InitializationTransfer, KeyForTransfer, LockTransfer, LowerBoundTransfer, NullnessTransfer, RegexTransfer, SameLenTransfer, SearchIndexTransfer, UpperBoundTransfer, ValueTransfer

public interface TransferFunction<A extends AbstractValue<A>,S extends Store<S>>
extends NodeVisitor<TransferResult<A,S>,TransferInput<A,S>>

Interface of a transfer function for the abstract interpretation used for the flow analysis.

A transfer function consists of the following components:

• A method initialStore that determines which initial store should be used in the org.checkerframework.dataflow analysis.
• A function for every Node type that determines the behavior of the org.checkerframework.dataflow analysis in that case. This method takes a Node and an incoming store, and produces a RegularTransferResult.

Important: The individual transfer functions ( visit*) are allowed to use (and modify) the stores contained in the argument passed; the ownership is transfered from the caller to that function.

Author:

Stefan Heule

Method Summary

Modifier and Type	Method and Description
S	initialStore(UnderlyingAST underlyingAST, @Nullable java.util.List<LocalVariableNode> parameters)

Methods inherited from interface org.checkerframework.dataflow.cfg.node.NodeVisitor

visitArrayAccess, visitArrayCreation, visitArrayType, visitAssertionError, visitAssignment, visitBitwiseAnd, visitBitwiseComplement, visitBitwiseOr, visitBitwiseXor, visitBooleanLiteral, visitCase, visitCharacterLiteral, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDoubleLiteral, visitEqualTo, visitExplicitThisLiteral, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitGreaterThan, visitGreaterThanOrEqual, visitImplicitThisLiteral, visitInstanceOf, visitIntegerDivision, visitIntegerLiteral, visitIntegerRemainder, visitLeftShift, visitLessThan, visitLessThanOrEqual, visitLocalVariable, visitLongLiteral, visitMarker, visitMemberReference, visitMethodAccess, visitMethodInvocation, visitNarrowingConversion, visitNotEqual, visitNullChk, visitNullLiteral, visitNumericalAddition, visitNumericalMinus, visitNumericalMultiplication, visitNumericalPlus, visitNumericalSubtraction, visitObjectCreation, visitPackageName, visitParameterizedType, visitPrimitiveType, visitReturn, visitShortLiteral, visitSignedRightShift, visitStringConcatenate, visitStringConcatenateAssignment, visitStringConversion, visitStringLiteral, visitSuper, visitSynchronized, visitTernaryExpression, visitThrow, visitTypeCast, visitUnsignedRightShift, visitVariableDeclaration, visitWideningConversion

Method Detail

initialStore

S initialStore(UnderlyingAST underlyingAST,
               @Nullable java.util.List<LocalVariableNode> parameters)

Returns:

the initial store to be used by the org.checkerframework.dataflow analysis. parameters is only set if the underlying AST is a method.