VectorGenFlowFunction (API Reference for wala 1.3.9)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

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 and Description
`IntSet`	`getSources(int i)`
`IntSet`	`getTargets(int i)`
`static VectorGenFlowFunction`	`make(IntSet gen)`
`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 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
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method