sandmark.watermark.ct.trace.callforest
Class AllPathsIterator.Afs

java.lang.Object
  |
  +--sandmark.util.graph.Afs
        |
        +--sandmark.watermark.ct.trace.callforest.AllPathsIterator.Afs

All Implemented Interfaces:

java.util.Iterator

Enclosing class:

AllPathsIterator

class AllPathsIterator.Afs

extends Afs

Field Summary

Fields inherited from class sandmark.util.graph.Afs

Constructor Summary

AllPathsIterator.Afs(Graph graph, Node root)
Same as sandmark.util.graph.Afs except we trim off parts of paths that follow the last mark()-node, and we return a sandmark.watermark.ct.trace.callforest.Path rather than a sandmark.util.graph.Path.

Method Summary

java.lang.Object

next()

Methods inherited from class sandmark.util.graph.Afs

hasNext, main, remove

Methods inherited from class java.lang.Object

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

Constructor Detail

AllPathsIterator.Afs

public AllPathsIterator.Afs(Graph graph,
                            Node root)

Same as sandmark.util.graph.Afs except we trim off parts of paths that follow the last mark()-node, and we return a sandmark.watermark.ct.trace.callforest.Path rather than a sandmark.util.graph.Path.

Method Detail

next

public java.lang.Object next()

Specified by:

next in interface java.util.Iterator

Overrides:

next in class Afs