com.ibm.wala.dataflow.IFDS
Interface IReversibleFlowFunction

All Superinterfaces:

IFlowFunction, IUnaryFlowFunction

All Known Implementing Classes:

IdentityFlowFunction, SingletonFlowFunction, UniversalKillFlowFunction, VectorGenFlowFunction, VectorKillFlowFunction

public interface IReversibleFlowFunction
extends IUnaryFlowFunction

A flow function corresponding to an edge in the supergraph. A reversible flow-function supports a getSources operation that allows computing backwards flow. At the very least, this is requried in IFDS by call functions for which sources need to be found the handle insertion of summary edges.

Method Summary

SparseIntSet

getSources(int d2)

Methods inherited from interface com.ibm.wala.dataflow.IFDS.IUnaryFlowFunction

getTargets

Method Detail

getSources

SparseIntSet getSources(int d2)

Parameters:

d2 -

Returns:

set of d1 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none