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 java.lang.Object
implements IReversibleFlowFunction

A function which gens a vector of outgoing dataflow facts

Method Summary

IntSet	getSources(int i)
IntSet	getTargets(int i)
static VectorGenFlowFunction	make(IntSet gen)
java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object