dk.brics.tajs.solver

Interface INodeTransfer<StateType extends IState<StateType,?,?>,ContextType extends IContext<?>>

All Superinterfaces:

AbstractNodeVisitor

All Known Implementing Classes:

Transfer

public interface INodeTransfer<StateType extends IState<StateType,?,?>,ContextType extends IContext<?>>
extends AbstractNodeVisitor

Interface for node transfer function classes.

Method Summary

Modifier and Type	Method and Description
void	transfer(AbstractNode n) Applies the transfer function on the given node.
void	transferReturn(AbstractNode call_node, BasicBlock callee_entry, ContextType caller_context, ContextType callee_context, ContextType edge_context, boolean implicit) 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)

Applies the transfer function on the given node.

transferReturn

void transferReturn(AbstractNode call_node,
                    BasicBlock callee_entry,
                    ContextType caller_context,
                    ContextType callee_context,
                    ContextType edge_context,
                    boolean implicit)

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