org.checkerframework.dataflow.analysis

Interface ForwardTransferFunction<V extends AbstractValue<V>,S extends Store<S>>

Type Parameters:

V - the abstract value type to be tracked by the analysis

S - the store type used in the analysis

All Superinterfaces:

NodeVisitor<TransferResult<V,S>,TransferInput<V,S>>, TransferFunction<V,S>

All Known Implementing Classes:

AccumulationTransfer, AliasingTransfer, CalledMethodsTransfer, CFAbstractTransfer, CFTransfer, ConstantPropagationTransfer, FormatterTransfer, I18nFormatterTransfer, IndexAbstractTransfer, InitializationTransfer, InitializedFieldsTransfer, KeyForTransfer, LessThanTransfer, LockTransfer, LowerBoundTransfer, NullnessTransfer, RegexTransfer, SameLenTransfer, SearchIndexTransfer, SignatureTransfer, UpperBoundTransfer, ValueTransfer

public interface ForwardTransferFunction<V extends AbstractValue<V>,S extends Store<S>>
extends TransferFunction<V,S>

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

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

Method Summary

Modifier and Type	Method and Description
S	initialStore(UnderlyingAST underlyingAST, @Nullable List<LocalVariableNode> parameters) Returns the initial store to be used by the org.checkerframework.dataflow analysis.

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

visitArrayAccess, visitArrayCreation, visitArrayType, visitAssertionError, visitAssignment, visitBitwiseAnd, visitBitwiseComplement, visitBitwiseOr, visitBitwiseXor, visitBooleanLiteral, visitCase, visitCharacterLiteral, visitClassDeclaration, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDoubleLiteral, visitEqualTo, visitExplicitThisLiteral, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitGreaterThan, visitGreaterThanOrEqual, visitImplicitThisLiteral, visitInstanceOf, visitIntegerDivision, visitIntegerLiteral, visitIntegerRemainder, visitLambdaResultExpression, 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 List<LocalVariableNode> parameters)

Returns the initial store to be used by the org.checkerframework.dataflow analysis. parameters is non-null if the underlying AST is a method.

Parameters:

underlyingAST - an abstract syntax tree

parameters - a list of local variable nodes

Returns:

the initial store