Package com.ibm.wala.dataflow.IFDS
Class VectorKillFlowFunction
- java.lang.Object
-
- com.ibm.wala.dataflow.IFDS.VectorKillFlowFunction
-
- All Implemented Interfaces:
IFlowFunction
,IReversibleFlowFunction
,IUnaryFlowFunction
public class VectorKillFlowFunction extends Object implements IReversibleFlowFunction
A function which kills a vector of incoming dataflow facts
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description IntSet
getSources(int i)
IntSet
getTargets(int i)
static VectorKillFlowFunction
make(IntSet kill)
String
toString()
-
-
-
Method Detail
-
getTargets
public IntSet getTargets(int i)
- Specified by:
getTargets
in interfaceIUnaryFlowFunction
- Returns:
- set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none
-
getSources
public IntSet getSources(int i)
- Specified by:
getSources
in interfaceIReversibleFlowFunction
- Returns:
- set of d1 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none
-
make
public static VectorKillFlowFunction make(IntSet kill)
- Parameters:
kill
- the intset of facts which should be killed by a function- Returns:
- an instance of a flow function which kills these facts
-
-