dk.brics.tajs.analysis

Class Transfer

java.lang.Object

dk.brics.tajs.analysis.Transfer

All Implemented Interfaces:

AbstractNodeVisitor, IEdgeTransfer<Context>, INodeTransfer<State,Context>

public class Transfer
extends java.lang.Object
implements INodeTransfer<State,Context>, IEdgeTransfer<Context>

Transfer for flow graph nodes and edges.

Constructor Summary

Constructors

Constructor and Description
Transfer() Constructs a new AbstractNodeTransfer object.

Method Summary

Modifier and Type	Method and Description
void	setSolverInterface(GenericSolver.SolverInterface c) Initializes the connection to the solver.
void	transfer(AbstractNode n) Applies the transfer function on the given node.
Context	transfer(BasicBlock src, BasicBlock dst) Returns non-null context if flow should occur on the given edge.
void	transferReturn(AbstractNode call_node, BasicBlock callee_entry, Context caller_context, Context callee_context, Context edge_context, boolean implicit) Processes ordinary and exceptional return flow when a new call edge has been added.
void	visit(Node n) Visits a flowgraph node.

Methods inherited from class java.lang.Object

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

Constructor Detail

Transfer

public Transfer()

Constructs a new AbstractNodeTransfer object.

Method Detail

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Initializes the connection to the solver.

transfer

public void transfer(AbstractNode n)

Description copied from interface: INodeTransfer

Applies the transfer function on the given node.

Specified by:

transfer in interface INodeTransfer<State,Context>

transfer

public Context transfer(BasicBlock src,
                        BasicBlock dst)

Description copied from interface: IEdgeTransfer

Returns non-null context if flow should occur on the given edge.

Specified by:

transfer in interface IEdgeTransfer<Context>

transferReturn

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

Description copied from interface: INodeTransfer

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

Specified by:

transferReturn in interface INodeTransfer<State,Context>

visit

public void visit(Node n)

Description copied from interface: AbstractNodeVisitor

Visits a flowgraph node.

Specified by:

visit in interface AbstractNodeVisitor