heros.flowfunc

Class Gen<D>

java.lang.Object

heros.flowfunc.Gen<D>

Type Parameters:

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

All Implemented Interfaces:

FlowFunction<D>

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

Function that creates a new value (e.g. returns a set containing a fixed value when given a specific parameter), but acts like the identity function for all other parameters.

Constructor Summary

Constructors

Constructor and Description
Gen(D genValue, D zeroValue)

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

Gen

public Gen(D genValue,
           D zeroValue)

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>