heros.flowfunc

Class Kill<D>

java.lang.Object

heros.flowfunc.Kill<D>

Type Parameters:

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

All Implemented Interfaces:

FlowFunction<D>

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

Function that kills a specific value (i.e. returns an empty set for when given this value as an argument), but behaves like the identity function for all other values.

Constructor Summary

Constructors

Constructor and Description
Kill(D killValue)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Kill

public Kill(D killValue)

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>