soot.toolkits.graph

Class LoopNestTree

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.TreeSet<Loop>

soot.toolkits.graph.LoopNestTree

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Loop>, Collection<Loop>, NavigableSet<Loop>, Set<Loop>, SortedSet<Loop>

public class LoopNestTree
extends TreeSet<Loop>

A loop nesting tree, implemented as a tree-map. Loops are represented by pairs of head-statements and the respective loop. The iterator over this collection returns the loop in such an order that a loop l will always returned before a loop m if l is an inner loop of m.

Author:

Eric Bodden

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LoopNestTree(Body b) Builds a loop nest tree from a method body using LoopFinder.
LoopNestTree(Collection<Loop> loops) Builds a loop nest tree from a mapping from loop headers to statements in the loop.

Method Summary

Modifier and Type	Method and Description
boolean	hasNestedLoops()

Methods inherited from class java.util.TreeSet

add, addAll, ceiling, clear, clone, comparator, contains, descendingIterator, descendingSet, first, floor, headSet, headSet, higher, isEmpty, iterator, last, lower, pollFirst, pollLast, remove, size, spliterator, subSet, subSet, tailSet, tailSet

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

LoopNestTree

public LoopNestTree(Body b)

Builds a loop nest tree from a method body using LoopFinder.

LoopNestTree

public LoopNestTree(Collection<Loop> loops)

Builds a loop nest tree from a mapping from loop headers to statements in the loop.

Method Detail

hasNestedLoops

public boolean hasNestedLoops()