dk.brics.tajs.solver

Interface INodeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>

All Superinterfaces:

AbstractNodeVisitor<BlockStateType>

All Known Implementing Classes:

Transfer

public interface INodeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>
extends AbstractNodeVisitor<BlockStateType>

Interface for node transfer function classes.

Method Summary

Methods

Modifier and Type	Method and Description
void	transfer(AbstractNode n, BlockStateType in) Applies the transfer function on the given node and input state.
void	transferReturn(AbstractNode call_node, Function callee, CallContextType caller_context, CallContextType callee_context) Processes ordinary and exceptional return flow when a new call edge has been added.

Methods inherited from interface dk.brics.tajs.flowgraph.AbstractNodeVisitor

visit

Method Detail

transfer

void transfer(AbstractNode n,
            BlockStateType in)

Applies the transfer function on the given node and input state.

transferReturn

void transferReturn(AbstractNode call_node,
                  Function callee,
                  CallContextType caller_context,
                  CallContextType callee_context)

Processes ordinary and exceptional return flow when a new call edge has been added.