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