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 Object
implements IReversibleFlowFunction

A flow function which has only the edge 0 -> dest

Method Summary

Methods

Modifier and Type	Method and Description
static SingletonFlowFunction	create(int dest)
com.ibm.wala.util.intset.SparseIntSet	getSources(int i)
com.ibm.wala.util.intset.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 com.ibm.wala.util.intset.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 com.ibm.wala.util.intset.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)