Class VectorKillFlowFunction
java.lang.Object
com.ibm.wala.dataflow.IFDS.VectorKillFlowFunction
- All Implemented Interfaces:
IFlowFunction
,IReversibleFlowFunction
,IUnaryFlowFunction
A function which kills a vector of incoming dataflow facts
-
Method Summary
Modifier and TypeMethodDescriptiongetSources
(int i) getTargets
(int i) static VectorKillFlowFunction
toString()
-
Method Details
-
getTargets
- 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
- 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
- Parameters:
kill
- the intset of facts which should be killed by a function- Returns:
- an instance of a flow function which kills these facts
-
toString
-