Package com.ibm.wala.dataflow.IFDS
Class VectorGenFlowFunction
- java.lang.Object
-
- com.ibm.wala.dataflow.IFDS.VectorGenFlowFunction
-
- All Implemented Interfaces:
IFlowFunction
,IReversibleFlowFunction
,IUnaryFlowFunction
public class VectorGenFlowFunction extends Object implements IReversibleFlowFunction
A function which gens a vector of outgoing 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 VectorGenFlowFunction
make(IntSet gen)
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 VectorGenFlowFunction make(IntSet gen)
- Parameters:
gen
- the intset of facts which should be gen'ed by a function- Returns:
- an instance of a flow function which gens these facts
-
-