org.checkerframework.dataflow.constantpropagation

Class ConstantPropagationTransfer

java.lang.Object

org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer

All Implemented Interfaces:

TransferFunction<Constant,ConstantPropagationStore>, NodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

public class ConstantPropagationTransfer
extends AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>
implements TransferFunction<Constant,ConstantPropagationStore>

Constructor Summary

Constructors

Constructor and Description
ConstantPropagationTransfer()

Method Summary

Modifier and Type	Method and Description
ConstantPropagationStore	initialStore(UnderlyingAST underlyingAST, java.util.List<LocalVariableNode> parameters)
protected void	process(ConstantPropagationStore p, Node a, Node b)
TransferResult<Constant,ConstantPropagationStore>	visitAssignment(AssignmentNode n, TransferInput<Constant,ConstantPropagationStore> pi)
TransferResult<Constant,ConstantPropagationStore>	visitEqualTo(EqualToNode n, TransferInput<Constant,ConstantPropagationStore> pi)
TransferResult<Constant,ConstantPropagationStore>	visitIntegerLiteral(IntegerLiteralNode n, TransferInput<Constant,ConstantPropagationStore> pi)
TransferResult<Constant,ConstantPropagationStore>	visitLocalVariable(LocalVariableNode node, TransferInput<Constant,ConstantPropagationStore> before)
TransferResult<Constant,ConstantPropagationStore>	visitNode(Node n, TransferInput<Constant,ConstantPropagationStore> p)

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

visitArrayAccess, visitArrayCreation, visitArrayType, visitAssertionError, visitBitwiseAnd, visitBitwiseComplement, visitBitwiseOr, visitBitwiseXor, visitBooleanLiteral, visitCase, visitCharacterLiteral, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDoubleLiteral, visitExplicitThisLiteral, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitGreaterThan, visitGreaterThanOrEqual, visitImplicitThisLiteral, visitInstanceOf, visitIntegerDivision, visitIntegerRemainder, visitLambdaResultExpression, visitLeftShift, visitLessThan, visitLessThanOrEqual, 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, visitThisLiteral, visitThrow, visitTypeCast, visitUnsignedRightShift, visitValueLiteral, visitVariableDeclaration, visitWideningConversion

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

visitArrayAccess, visitArrayCreation, visitArrayType, visitAssertionError, visitBitwiseAnd, visitBitwiseComplement, visitBitwiseOr, visitBitwiseXor, visitBooleanLiteral, visitCase, visitCharacterLiteral, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDoubleLiteral, visitExplicitThisLiteral, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitGreaterThan, visitGreaterThanOrEqual, visitImplicitThisLiteral, visitInstanceOf, visitIntegerDivision, visitIntegerRemainder, visitLambdaResultExpression, visitLeftShift, visitLessThan, visitLessThanOrEqual, 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

Constructor Detail

ConstantPropagationTransfer

public ConstantPropagationTransfer()

Method Detail

initialStore

public ConstantPropagationStore initialStore(UnderlyingAST underlyingAST,
                                             java.util.List<LocalVariableNode> parameters)

Specified by:

initialStore in interface TransferFunction<Constant,ConstantPropagationStore>

Returns:

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

visitLocalVariable

public TransferResult<Constant,ConstantPropagationStore> visitLocalVariable(LocalVariableNode node,
                                                                            TransferInput<Constant,ConstantPropagationStore> before)

Specified by:

visitLocalVariable in interface NodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

Overrides:

visitLocalVariable in class AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

visitNode

public TransferResult<Constant,ConstantPropagationStore> visitNode(Node n,
                                                                   TransferInput<Constant,ConstantPropagationStore> p)

Specified by:

visitNode in class AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

visitAssignment

public TransferResult<Constant,ConstantPropagationStore> visitAssignment(AssignmentNode n,
                                                                         TransferInput<Constant,ConstantPropagationStore> pi)

Specified by:

visitAssignment in interface NodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

Overrides:

visitAssignment in class AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

visitIntegerLiteral

public TransferResult<Constant,ConstantPropagationStore> visitIntegerLiteral(IntegerLiteralNode n,
                                                                             TransferInput<Constant,ConstantPropagationStore> pi)

Specified by:

visitIntegerLiteral in interface NodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

Overrides:

visitIntegerLiteral in class AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

visitEqualTo

public TransferResult<Constant,ConstantPropagationStore> visitEqualTo(EqualToNode n,
                                                                      TransferInput<Constant,ConstantPropagationStore> pi)

Specified by:

visitEqualTo in interface NodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

Overrides:

visitEqualTo in class AbstractNodeVisitor<TransferResult<Constant,ConstantPropagationStore>,TransferInput<Constant,ConstantPropagationStore>>

process

protected void process(ConstantPropagationStore p,
                       Node a,
                       Node b)