dk.brics.tajs.analysis.js

Class EdgeTransfer

java.lang.Object

dk.brics.tajs.analysis.js.EdgeTransfer

All Implemented Interfaces:

IEdgeTransfer<State,CallContext>

public class EdgeTransfer
extends Object
implements IEdgeTransfer<State,CallContext>

Transfer for flow graph edges.

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	transfer(BasicBlock src, BasicBlock dst, State state) Returns true if flow should occur on the given edge and state.

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

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>