heros

Class DefaultSeeds

java.lang.Object

heros.DefaultSeeds

public class DefaultSeeds
extends java.lang.Object

A utility class for creating default seeds that cause an analysis to simply start at a given statement. This is useful if seeding is performed entirely through flow functions as used to be the case in earlier versions of Heros.

Constructor Summary

Constructors

Constructor and Description
DefaultSeeds()

Method Summary

Modifier and Type	Method and Description
static <N,D> java.util.Map<N,java.util.Set<D>>	make(java.lang.Iterable<N> units, D zeroNode)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultSeeds

public DefaultSeeds()

Method Detail

make

public static <N,D> java.util.Map<N,java.util.Set<D>> make(java.lang.Iterable<N> units,
                                                           D zeroNode)