VectorKillFlowFunction (API Reference for wala 1.3.9)

java.lang.Object
- com.ibm.wala.dataflow.IFDS.VectorKillFlowFunction

All Implemented Interfaces:

IFlowFunction, IReversibleFlowFunction, IUnaryFlowFunction
```
public class VectorKillFlowFunction
extends Object
implements IReversibleFlowFunction
```
A function which kills a vector of incoming 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 VectorKillFlowFunction`	`make(IntSet kill)`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - getTargets
```
public IntSet getTargets(int i)
```
    Specified by:
    
    getTargets in interface IUnaryFlowFunction
    
    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 interface IReversibleFlowFunction
    
    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 VectorKillFlowFunction make(IntSet kill)
```
    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
```
public String toString()
```
    Overrides:
    
    toString in class Object