dk.brics.tajs.analysis

Class Transfer

java.lang.Object

dk.brics.tajs.analysis.Transfer

All Implemented Interfaces:

AbstractNodeVisitor<State>, IBlockTransfer<State,CallContext>, IEdgeTransfer<State,CallContext>, INodeTransfer<State,CallContext>

public class Transfer
extends Object
implements INodeTransfer<State,CallContext>, IEdgeTransfer<State,CallContext>, IBlockTransfer<State,CallContext>

Transfer for flow graph nodes and edges.

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	setSolverInterface(GenericSolver.SolverInterface c) Initializes the connection to the solver.
void	transfer(AbstractNode n, State state) Applies the transfer function on the given node and input state.
boolean	transfer(BasicBlock src, BasicBlock dst, State state) Returns true if flow should occur on the given edge and state.
void	transfer(BasicBlock b, State s) Applies the transfer function on the given block and input state.
void	transferReturn(AbstractNode call_node, Function callee, CallContext caller_context, CallContext callee_context) Processes ordinary and exceptional return flow when a new call edge has been added.
void	visit(Node n, State s) Visits an JavaScript code 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,
            State state)

Description copied from interface: INodeTransfer

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

Specified by:

transfer in interface INodeTransfer<State,CallContext>

transfer

public boolean transfer(BasicBlock src,
               BasicBlock dst,
               State state)

Description copied from interface: IEdgeTransfer

Returns true if flow should occur on the given edge and state.

Specified by:

transfer in interface IEdgeTransfer<State,CallContext>

transfer

public void transfer(BasicBlock b,
            State s)

Description copied from interface: IBlockTransfer

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

Specified by:

transfer in interface IBlockTransfer<State,CallContext>

transferReturn

public void transferReturn(AbstractNode call_node,
                  Function callee,
                  CallContext caller_context,
                  CallContext callee_context)

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,CallContext>

visit

public void visit(Node n,
         State s)

Description copied from interface: AbstractNodeVisitor

Visits an JavaScript code node.

Specified by:

visit in interface AbstractNodeVisitor<State>