sandmark.watermark.ct.trace.callforest
Class PathGenerator

java.lang.Object
  |
  +--sandmark.watermark.ct.trace.callforest.PathGenerator

All Implemented Interfaces:

java.util.Iterator

public class PathGenerator

extends java.lang.Object

implements java.util.Iterator

Field Summary

(package private) java.util.Iterator	orderedIterator
(package private) java.util.ArrayList	orderedPaths

Constructor Summary

PathGenerator(java.util.Vector forest, int maxPaths)
This class generates paths between sm$mark()-nodes in the call forest.

Method Summary

boolean	hasNext()
java.lang.Object	next()
void	remove()
java.lang.String	toString() Generate a string representation of all the paths.

Methods inherited from class java.lang.Object

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

Field Detail

orderedIterator

java.util.Iterator orderedIterator

orderedPaths

java.util.ArrayList orderedPaths

Constructor Detail

PathGenerator

public PathGenerator(java.util.Vector forest,
                     int maxPaths)

This class generates paths between sm$mark()-nodes in the call forest. We generate the paths in order of goodness, with the best one first.

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator

next

public java.lang.Object next()

Specified by:

next in interface java.util.Iterator

remove

public void remove()

Specified by:

remove in interface java.util.Iterator

toString

public java.lang.String toString()

Generate a string representation of all the paths.

Overrides:

toString in class java.lang.Object