Package org.checkerframework.dataflow.livevariable

Class LiveVarTransfer

java.lang.Object

org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

org.checkerframework.dataflow.livevariable.LiveVarTransfer

All Implemented Interfaces:

BackwardTransferFunction<UnusedAbstractValue,LiveVarStore>, TransferFunction<UnusedAbstractValue,LiveVarStore>, NodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

public class LiveVarTransfer
extends AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>
implements BackwardTransferFunction<UnusedAbstractValue,LiveVarStore>

A live variable transfer function.

Constructor Summary

Constructors

Constructor	Description
LiveVarTransfer()	Creates a new LiveVarTransfer.

Method Summary

Modifier and Type	Method	Description
LiveVarStore	initialExceptionalExitStore(UnderlyingAST underlyingAST)	Returns the initial store that should be used at the exceptional exit block or given the underlying AST of a control flow graph.
LiveVarStore	initialNormalExitStore(UnderlyingAST underlyingAST, List<ReturnNode> returnNodes)	Returns the initial store that should be used at the normal exit block.
RegularTransferResult<UnusedAbstractValue,LiveVarStore>	visitAssignment(AssignmentNode n, TransferInput<UnusedAbstractValue,LiveVarStore> p)
RegularTransferResult<UnusedAbstractValue,LiveVarStore>	visitMethodInvocation(MethodInvocationNode n, TransferInput<UnusedAbstractValue,LiveVarStore> p)
RegularTransferResult<UnusedAbstractValue,LiveVarStore>	visitNode(Node n, TransferInput<UnusedAbstractValue,LiveVarStore> p)
RegularTransferResult<UnusedAbstractValue,LiveVarStore>	visitObjectCreation(ObjectCreationNode n, TransferInput<UnusedAbstractValue,LiveVarStore> p)
RegularTransferResult<UnusedAbstractValue,LiveVarStore>	visitReturn(ReturnNode n, TransferInput<UnusedAbstractValue,LiveVarStore> p)

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

visitArrayAccess, visitArrayCreation, visitArrayType, visitAssertionError, visitBitwiseAnd, visitBitwiseComplement, visitBitwiseOr, visitBitwiseXor, visitBooleanLiteral, visitCase, visitCharacterLiteral, visitClassDeclaration, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDeconstructorPattern, visitDoubleLiteral, visitEqualTo, visitExplicitThis, visitExpressionStatement, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitGreaterThan, visitGreaterThanOrEqual, visitImplicitThis, visitInstanceOf, visitIntegerDivision, visitIntegerLiteral, visitIntegerRemainder, visitLambdaResultExpression, visitLeftShift, visitLessThan, visitLessThanOrEqual, visitLocalVariable, visitLongLiteral, visitMarker, visitMemberReference, visitMethodAccess, visitNarrowingConversion, visitNotEqual, visitNullChk, visitNullLiteral, visitNumericalAddition, visitNumericalMinus, visitNumericalMultiplication, visitNumericalPlus, visitNumericalSubtraction, visitPackageName, visitParameterizedType, visitPrimitiveType, visitShortLiteral, visitSignedRightShift, visitStringConcatenate, visitStringConversion, visitStringLiteral, visitSuper, visitSwitchExpressionNode, visitSynchronized, visitTernaryExpression, visitThis, 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, visitClassDeclaration, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDeconstructorPattern, visitDoubleLiteral, visitEqualTo, visitExplicitThis, visitExpressionStatement, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitGreaterThan, visitGreaterThanOrEqual, visitImplicitThis, visitInstanceOf, visitIntegerDivision, visitIntegerLiteral, visitIntegerRemainder, visitLambdaResultExpression, visitLeftShift, visitLessThan, visitLessThanOrEqual, visitLocalVariable, visitLongLiteral, visitMarker, visitMemberReference, visitMethodAccess, visitNarrowingConversion, visitNotEqual, visitNullChk, visitNullLiteral, visitNumericalAddition, visitNumericalMinus, visitNumericalMultiplication, visitNumericalPlus, visitNumericalSubtraction, visitPackageName, visitParameterizedType, visitPrimitiveType, visitShortLiteral, visitSignedRightShift, visitStringConcatenate, visitStringConversion, visitStringLiteral, visitSuper, visitSwitchExpressionNode, visitSynchronized, visitTernaryExpression, visitThrow, visitTypeCast, visitUnsignedRightShift, visitVariableDeclaration, visitWideningConversion

Constructor Details

LiveVarTransfer

public LiveVarTransfer()

Creates a new LiveVarTransfer.

Method Details

initialNormalExitStore

@SideEffectFree
public LiveVarStore initialNormalExitStore(UnderlyingAST underlyingAST,
 List<ReturnNode> returnNodes)

Description copied from interface: BackwardTransferFunction

Returns the initial store that should be used at the normal exit block.

Specified by:

initialNormalExitStore in interface BackwardTransferFunction<UnusedAbstractValue,LiveVarStore>

Parameters:

underlyingAST - the underlying AST of the given control flow graph

returnNodes - the return nodes of the given control flow graph (an empty list if the underlying AST is not a method)

Returns:

the initial store that should be used at the normal exit block

initialExceptionalExitStore

public LiveVarStore initialExceptionalExitStore(UnderlyingAST underlyingAST)

Description copied from interface: BackwardTransferFunction

Returns the initial store that should be used at the exceptional exit block or given the underlying AST of a control flow graph.

Specified by:

initialExceptionalExitStore in interface BackwardTransferFunction<UnusedAbstractValue,LiveVarStore>

Parameters:

underlyingAST - the underlying AST of the given control flow graph

Returns:

the initial store that should be used at the exceptional exit block

visitNode

public RegularTransferResult<UnusedAbstractValue,LiveVarStore> visitNode(Node n,
 TransferInput<UnusedAbstractValue,LiveVarStore> p)

Specified by:

visitNode in class AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

visitAssignment

public RegularTransferResult<UnusedAbstractValue,LiveVarStore> visitAssignment(AssignmentNode n,
 TransferInput<UnusedAbstractValue,LiveVarStore> p)

Specified by:

visitAssignment in interface NodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

Overrides:

visitAssignment in class AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

visitMethodInvocation

public RegularTransferResult<UnusedAbstractValue,LiveVarStore> visitMethodInvocation(MethodInvocationNode n,
 TransferInput<UnusedAbstractValue,LiveVarStore> p)

Specified by:

visitMethodInvocation in interface NodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

Overrides:

visitMethodInvocation in class AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

visitObjectCreation

public RegularTransferResult<UnusedAbstractValue,LiveVarStore> visitObjectCreation(ObjectCreationNode n,
 TransferInput<UnusedAbstractValue,LiveVarStore> p)

Specified by:

visitObjectCreation in interface NodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

Overrides:

visitObjectCreation in class AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

visitReturn

public RegularTransferResult<UnusedAbstractValue,LiveVarStore> visitReturn(ReturnNode n,
 TransferInput<UnusedAbstractValue,LiveVarStore> p)

Specified by:

visitReturn in interface NodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>

Overrides:

visitReturn in class AbstractNodeVisitor<TransferResult<UnusedAbstractValue,LiveVarStore>,TransferInput<UnusedAbstractValue,LiveVarStore>>