Package com.ibm.wala.dataflow.IFDS
Interface IReversibleFlowFunction
-
- All Superinterfaces:
IFlowFunction
,IUnaryFlowFunction
- All Known Implementing Classes:
IdentityFlowFunction
,SingletonFlowFunction
,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 required in IFDS by call functions for which sources need to be found to handle insertion of summary edges.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IntSet
getSources(int d2)
-
Methods inherited from interface com.ibm.wala.dataflow.IFDS.IUnaryFlowFunction
getTargets
-
-
-
-
Method Detail
-
getSources
IntSet 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
-
-