dk.brics.tajs.analysis.js

Class EdgeTransfer

java.lang.Object

dk.brics.tajs.analysis.js.EdgeTransfer

All Implemented Interfaces:

IEdgeTransfer<Context>

public class EdgeTransfer
extends java.lang.Object
implements IEdgeTransfer<Context>

Transfer for flow graph edges.

Constructor Summary

Constructors

Constructor and Description
EdgeTransfer() Constructs a new EdgeTransfer object.

Method Summary

Modifier and Type	Method and Description
void	setSolverInterface(GenericSolver.SolverInterface c) Initializes the connection to the solver.
Context	transfer(BasicBlock src, BasicBlock dst) Returns non-null context if flow should occur on the given edge.

Methods inherited from class java.lang.Object

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

Constructor Detail

EdgeTransfer

public EdgeTransfer()

Constructs a new EdgeTransfer object.

Method Detail

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Initializes the connection to the solver.

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>