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 IntSetgetSources(int i)IntSetgetTargets(int i)static VectorGenFlowFunctionmake(IntSet gen)StringtoString()
-
-
-
Method Detail
-
getTargets
public IntSet getTargets(int i)
- Specified by:
getTargetsin 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:
getSourcesin 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
-
-