VectorGenFlowFunction (wala 1.6.5-SNAPSHOT API)

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

Modifier and Type

Method

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 Details
- 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