Class DFSAllPathsFinder<T>

java.lang.Object

java.util.AbstractCollection<T>

java.util.AbstractList<T>

java.util.ArrayList<T>

com.ibm.wala.util.graph.traverse.DFSPathFinder<T>

com.ibm.wala.util.graph.traverse.DFSAllPathsFinder<T>

All Implemented Interfaces:

Serializable, Cloneable, Iterable<T>, Collection<T>, List<T>, RandomAccess, SequencedCollection<T>

public class DFSAllPathsFinder<T>
extends DFSPathFinder<T>

Extends DFSPathFinder to discover all paths from a set of root nodes to nodes passing some Predicate.

Note that this code performs work that is potentially exponential in the size of the underlying graph, using exponential space. It most likely won't work even for graphs of moderate size.

See Also:

• Serialized Form

Field Summary

Fields inherited from class com.ibm.wala.util.graph.traverse.DFSPathFinder

G, pendingChildren

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor	Description
DFSAllPathsFinder(Graph<T> G, Iterator<T> nodes, Predicate<T> f)
DFSAllPathsFinder(Graph<T> G, T N, Predicate<T> f)

Method Summary

Modifier and Type	Method	Description
protected Iterator<? extends T>	getConnected(T n)	get the out edges of a given node
protected @Nullable Iterator<? extends T>	getPendingChildren(T n)	Method getPendingChildren.
protected void	setPendingChildren(T v, Iterator<? extends T> iterator)	Method setPendingChildren.

Methods inherited from class com.ibm.wala.util.graph.traverse.DFSPathFinder

currentPath, find, hasNext

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, ensureCapacity, equals, forEach, get, getFirst, getLast, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeFirst, removeIf, removeLast, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, stream, toArray

Methods inherited from interface java.util.List

containsAll, reversed

Constructor Details

DFSAllPathsFinder

public DFSAllPathsFinder(Graph<T> G,
 Iterator<T> nodes,
 Predicate<T> f)

DFSAllPathsFinder

public DFSAllPathsFinder(Graph<T> G,
 T N,
 Predicate<T> f)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

Method Details

getConnected

protected Iterator<? extends T> getConnected(T n)

Description copied from class: DFSPathFinder

get the out edges of a given node

Overrides:

getConnected in class DFSPathFinder<T>

Parameters:

n - the node of which to get the out edges

Returns:

the out edges

getPendingChildren

protected @Nullable Iterator<? extends T> getPendingChildren(T n)

Description copied from class: DFSPathFinder

Method getPendingChildren.

Overrides:

getPendingChildren in class DFSPathFinder<T>

Returns:

Object

setPendingChildren

protected void setPendingChildren(T v,
 Iterator<? extends T> iterator)

Description copied from class: DFSPathFinder

Method setPendingChildren.

Overrides:

setPendingChildren in class DFSPathFinder<T>