heros.flowfunc

Class KillAll<D>

java.lang.Object

heros.flowfunc.KillAll<D>

Type Parameters:

D - The type of data-flow facts to be computed by the tabulation problem.

All Implemented Interfaces:

FlowFunction<D>

public class KillAll<D>
extends java.lang.Object
implements FlowFunction<D>

The empty function, i.e. a function which returns an empty set for all points in the definition space.

Method Summary

Modifier and Type	Method and Description
java.util.Set<D>	computeTargets(D source) Returns the target values reachable from the source.
static <D> KillAll<D>	v()

Methods inherited from class java.lang.Object

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

Method Detail

computeTargets

public java.util.Set<D> computeTargets(D source)

Description copied from interface: FlowFunction

Returns the target values reachable from the source.

Specified by:

computeTargets in interface FlowFunction<D>

v

public static <D> KillAll<D> v()