org.checkerframework.common.value

Class ValueTransfer

java.lang.Object

org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<TransferResult<V,S>,TransferInput<V,S>>

org.checkerframework.framework.flow.CFAbstractTransfer<CFValue,CFStore,CFTransfer>

org.checkerframework.framework.flow.CFTransfer

org.checkerframework.common.value.ValueTransfer

All Implemented Interfaces:

TransferFunction<CFValue,CFStore>, NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

public class ValueTransfer
extends CFTransfer

Field Summary

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

analysis, sequentialSemantics

Constructor Summary

Constructors

Constructor and Description
ValueTransfer(CFAbstractAnalysis<CFValue,CFStore,CFTransfer> analysis)

Method Summary

Modifier and Type	Method and Description
TransferResult<CFValue,CFStore>	stringConcatenation(Node leftOperand, Node rightOperand, TransferInput<CFValue,CFStore> p, TransferResult<CFValue,CFStore> result)
TransferResult<CFValue,CFStore>	visitBitwiseAnd(BitwiseAndNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitBitwiseComplement(BitwiseComplementNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitBitwiseOr(BitwiseOrNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitBitwiseXor(BitwiseXorNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitConditionalAnd(ConditionalAndNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitConditionalNot(ConditionalNotNode n, TransferInput<CFValue,CFStore> p) Revert the role of the 'thenStore' and 'elseStore'.
TransferResult<CFValue,CFStore>	visitConditionalOr(ConditionalOrNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitEqualTo(EqualToNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitFloatingDivision(FloatingDivisionNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitFloatingRemainder(FloatingRemainderNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitGreaterThan(GreaterThanNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitGreaterThanOrEqual(GreaterThanOrEqualNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitIntegerDivision(IntegerDivisionNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitIntegerRemainder(IntegerRemainderNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitLeftShift(LeftShiftNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitLessThan(LessThanNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitLessThanOrEqual(LessThanOrEqualNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitNotEqual(NotEqualNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitNumericalAddition(NumericalAdditionNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitNumericalMinus(NumericalMinusNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitNumericalMultiplication(NumericalMultiplicationNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitNumericalPlus(NumericalPlusNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitNumericalSubtraction(NumericalSubtractionNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitSignedRightShift(SignedRightShiftNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitStringConcatenate(StringConcatenateNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitStringConcatenateAssignment(StringConcatenateAssignmentNode n, TransferInput<CFValue,CFStore> p)
TransferResult<CFValue,CFStore>	visitUnsignedRightShift(UnsignedRightShiftNode n, TransferInput<CFValue,CFStore> p)

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

addInformationFromPreconditions, finishValue, finishValue, getTypeFactoryOfSubchecker, getValueFromFactory, getValueWithSameAnnotations, initialStore, isNotFullyInitializedReceiver, moreSpecificValue, processCommonAssignment, processConditionalPostconditions, processPostconditions, setFixedInitialStore, splitAssignments, strengthenAnnotationOfEqualTo, usesSequentialSemantics, visitArrayAccess, visitAssignment, visitCase, visitClassName, visitFieldAccess, visitLocalVariable, visitMethodInvocation, visitNarrowingConversion, visitNode, visitObjectCreation, visitReturn, visitStringConversion, visitTernaryExpression, visitThisLiteral, visitVariableDeclaration, visitWideningConversion

Methods inherited from class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor

visitArrayCreation, visitArrayType, visitAssertionError, visitBooleanLiteral, visitCharacterLiteral, visitDoubleLiteral, visitExplicitThisLiteral, visitFloatLiteral, visitImplicitThisLiteral, visitInstanceOf, visitIntegerLiteral, visitLongLiteral, visitMarker, visitMemberReference, visitMethodAccess, visitNullChk, visitNullLiteral, visitPackageName, visitParameterizedType, visitPrimitiveType, visitShortLiteral, visitStringLiteral, visitSuper, visitSynchronized, visitThrow, visitTypeCast, visitValueLiteral

Methods inherited from class java.lang.Object

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

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

visitArrayCreation, visitArrayType, visitAssertionError, visitBooleanLiteral, visitCharacterLiteral, visitDoubleLiteral, visitExplicitThisLiteral, visitFloatLiteral, visitImplicitThisLiteral, visitInstanceOf, visitIntegerLiteral, visitLongLiteral, visitMarker, visitMemberReference, visitMethodAccess, visitNullChk, visitNullLiteral, visitPackageName, visitParameterizedType, visitPrimitiveType, visitShortLiteral, visitStringLiteral, visitSuper, visitSynchronized, visitThrow, visitTypeCast

Constructor Detail

ValueTransfer

public ValueTransfer(CFAbstractAnalysis<CFValue,CFStore,CFTransfer> analysis)

Method Detail

visitStringConcatenateAssignment

public TransferResult<CFValue,CFStore> visitStringConcatenateAssignment(StringConcatenateAssignmentNode n,
                                                                        TransferInput<CFValue,CFStore> p)

Specified by:

visitStringConcatenateAssignment in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitStringConcatenateAssignment in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

visitStringConcatenate

public TransferResult<CFValue,CFStore> visitStringConcatenate(StringConcatenateNode n,
                                                              TransferInput<CFValue,CFStore> p)

Specified by:

visitStringConcatenate in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitStringConcatenate in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

stringConcatenation

public TransferResult<CFValue,CFStore> stringConcatenation(Node leftOperand,
                                                           Node rightOperand,
                                                           TransferInput<CFValue,CFStore> p,
                                                           TransferResult<CFValue,CFStore> result)

visitNumericalAddition

public TransferResult<CFValue,CFStore> visitNumericalAddition(NumericalAdditionNode n,
                                                              TransferInput<CFValue,CFStore> p)

Specified by:

visitNumericalAddition in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalAddition in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitNumericalSubtraction

public TransferResult<CFValue,CFStore> visitNumericalSubtraction(NumericalSubtractionNode n,
                                                                 TransferInput<CFValue,CFStore> p)

Specified by:

visitNumericalSubtraction in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalSubtraction in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitNumericalMultiplication

public TransferResult<CFValue,CFStore> visitNumericalMultiplication(NumericalMultiplicationNode n,
                                                                    TransferInput<CFValue,CFStore> p)

Specified by:

visitNumericalMultiplication in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalMultiplication in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitIntegerDivision

public TransferResult<CFValue,CFStore> visitIntegerDivision(IntegerDivisionNode n,
                                                            TransferInput<CFValue,CFStore> p)

Specified by:

visitIntegerDivision in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitIntegerDivision in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitFloatingDivision

public TransferResult<CFValue,CFStore> visitFloatingDivision(FloatingDivisionNode n,
                                                             TransferInput<CFValue,CFStore> p)

Specified by:

visitFloatingDivision in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitFloatingDivision in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitIntegerRemainder

public TransferResult<CFValue,CFStore> visitIntegerRemainder(IntegerRemainderNode n,
                                                             TransferInput<CFValue,CFStore> p)

Specified by:

visitIntegerRemainder in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitIntegerRemainder in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitFloatingRemainder

public TransferResult<CFValue,CFStore> visitFloatingRemainder(FloatingRemainderNode n,
                                                              TransferInput<CFValue,CFStore> p)

Specified by:

visitFloatingRemainder in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitFloatingRemainder in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitLeftShift

public TransferResult<CFValue,CFStore> visitLeftShift(LeftShiftNode n,
                                                      TransferInput<CFValue,CFStore> p)

Specified by:

visitLeftShift in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLeftShift in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitSignedRightShift

public TransferResult<CFValue,CFStore> visitSignedRightShift(SignedRightShiftNode n,
                                                             TransferInput<CFValue,CFStore> p)

Specified by:

visitSignedRightShift in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitSignedRightShift in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitUnsignedRightShift

public TransferResult<CFValue,CFStore> visitUnsignedRightShift(UnsignedRightShiftNode n,
                                                               TransferInput<CFValue,CFStore> p)

Specified by:

visitUnsignedRightShift in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitUnsignedRightShift in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitBitwiseAnd

public TransferResult<CFValue,CFStore> visitBitwiseAnd(BitwiseAndNode n,
                                                       TransferInput<CFValue,CFStore> p)

Specified by:

visitBitwiseAnd in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseAnd in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitBitwiseOr

public TransferResult<CFValue,CFStore> visitBitwiseOr(BitwiseOrNode n,
                                                      TransferInput<CFValue,CFStore> p)

Specified by:

visitBitwiseOr in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseOr in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitBitwiseXor

public TransferResult<CFValue,CFStore> visitBitwiseXor(BitwiseXorNode n,
                                                       TransferInput<CFValue,CFStore> p)

Specified by:

visitBitwiseXor in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseXor in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitNumericalMinus

public TransferResult<CFValue,CFStore> visitNumericalMinus(NumericalMinusNode n,
                                                           TransferInput<CFValue,CFStore> p)

Specified by:

visitNumericalMinus in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalMinus in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitNumericalPlus

public TransferResult<CFValue,CFStore> visitNumericalPlus(NumericalPlusNode n,
                                                          TransferInput<CFValue,CFStore> p)

Specified by:

visitNumericalPlus in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalPlus in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitBitwiseComplement

public TransferResult<CFValue,CFStore> visitBitwiseComplement(BitwiseComplementNode n,
                                                              TransferInput<CFValue,CFStore> p)

Specified by:

visitBitwiseComplement in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseComplement in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitLessThan

public TransferResult<CFValue,CFStore> visitLessThan(LessThanNode n,
                                                     TransferInput<CFValue,CFStore> p)

Specified by:

visitLessThan in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLessThan in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitLessThanOrEqual

public TransferResult<CFValue,CFStore> visitLessThanOrEqual(LessThanOrEqualNode n,
                                                            TransferInput<CFValue,CFStore> p)

Specified by:

visitLessThanOrEqual in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLessThanOrEqual in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitGreaterThan

public TransferResult<CFValue,CFStore> visitGreaterThan(GreaterThanNode n,
                                                        TransferInput<CFValue,CFStore> p)

Specified by:

visitGreaterThan in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitGreaterThan in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitGreaterThanOrEqual

public TransferResult<CFValue,CFStore> visitGreaterThanOrEqual(GreaterThanOrEqualNode n,
                                                               TransferInput<CFValue,CFStore> p)

Specified by:

visitGreaterThanOrEqual in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitGreaterThanOrEqual in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitEqualTo

public TransferResult<CFValue,CFStore> visitEqualTo(EqualToNode n,
                                                    TransferInput<CFValue,CFStore> p)

Specified by:

visitEqualTo in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitEqualTo in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

visitNotEqual

public TransferResult<CFValue,CFStore> visitNotEqual(NotEqualNode n,
                                                     TransferInput<CFValue,CFStore> p)

Specified by:

visitNotEqual in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNotEqual in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

visitConditionalNot

public TransferResult<CFValue,CFStore> visitConditionalNot(ConditionalNotNode n,
                                                           TransferInput<CFValue,CFStore> p)

Description copied from class: CFAbstractTransfer

Revert the role of the 'thenStore' and 'elseStore'.

Specified by:

visitConditionalNot in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitConditionalNot in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

visitConditionalAnd

public TransferResult<CFValue,CFStore> visitConditionalAnd(ConditionalAndNode n,
                                                           TransferInput<CFValue,CFStore> p)

Specified by:

visitConditionalAnd in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitConditionalAnd in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

visitConditionalOr

public TransferResult<CFValue,CFStore> visitConditionalOr(ConditionalOrNode n,
                                                          TransferInput<CFValue,CFStore> p)

Specified by:

visitConditionalOr in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitConditionalOr in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>