Package com.ibm.wala.dataflow.IFDS
Class KillEverything
- java.lang.Object
-
- com.ibm.wala.dataflow.IFDS.KillEverything
-
- All Implemented Interfaces:
IFlowFunction
,IUnaryFlowFunction
public class KillEverything extends Object implements IUnaryFlowFunction
A flow function that kills everything (even 0)
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description SparseIntSet
getTargets(int d1)
static KillEverything
singleton()
-
-
-
Method Detail
-
singleton
public static KillEverything singleton()
-
getTargets
public SparseIntSet getTargets(int d1)
- 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
-
-