com.ibm.wala.dataflow.IFDS

Class VectorKillFlowFunction

java.lang.Object

com.ibm.wala.dataflow.IFDS.VectorKillFlowFunction

All Implemented Interfaces:

IFlowFunction, IReversibleFlowFunction, IUnaryFlowFunction

public class VectorKillFlowFunction
extends java.lang.Object
implements IReversibleFlowFunction

A function which kills a vector of incoming dataflow facts

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.intset.IntSet	getSources(int i)
com.ibm.wala.util.intset.IntSet	getTargets(int i)
static VectorKillFlowFunction	make(com.ibm.wala.util.intset.IntSet kill)
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 com.ibm.wala.util.intset.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 com.ibm.wala.util.intset.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 VectorKillFlowFunction make(com.ibm.wala.util.intset.IntSet kill)

Parameters:

kill - the intset of facts which should be killed by a function

Returns:

an instance of a flow function which kills these facts

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object