com.ibm.wala.dataflow.IFDS
Class SingletonFlowFunction

java.lang.Object
  com.ibm.wala.dataflow.IFDS.SingletonFlowFunction

All Implemented Interfaces:

IFlowFunction, IReversibleFlowFunction, IUnaryFlowFunction

public class SingletonFlowFunction
extends java.lang.Object
implements IReversibleFlowFunction

TODO: make the '0' element implicit in every flow function A flow function which has only the edge 0 -> dest

Method Summary

static SingletonFlowFunction	create(int dest)
SparseIntSet	getSources(int i)
SparseIntSet	getTargets(int i)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getTargets

public SparseIntSet 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 SparseIntSet 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

create

public static SingletonFlowFunction create(int dest)