com.ibm.wala.dataflow.IFDS

Class KillEverything

java.lang.Object

com.ibm.wala.dataflow.IFDS.KillEverything

All Implemented Interfaces:

IFlowFunction, IUnaryFlowFunction

public class KillEverything
extends Object
implements IUnaryFlowFunction

A flow function that kills everything (even 0)

Author:

sjfink

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.util.intset.SparseIntSet	getTargets(int d1)
static KillEverything	singleton()

Methods inherited from class java.lang.Object

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

Method Detail

singleton

public static KillEverything singleton()

getTargets

public com.ibm.wala.util.intset.SparseIntSet getTargets(int d1)

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