soot.toolkits.graph

Class DominatorTreeAdapter

java.lang.Object

soot.toolkits.graph.DominatorTreeAdapter

All Implemented Interfaces:

java.lang.Iterable, DirectedGraph

public class DominatorTreeAdapter
extends java.lang.Object
implements DirectedGraph

This adapter provides a DirectedGraph interface to DominatorTree.

This might be useful if e.g. you want to apply a DirectedGraph analysis such as the PseudoTopologicalOrderer to a DominatorTree.

Author:

Navindra Umanee

Constructor Summary

Constructors

Constructor and Description
DominatorTreeAdapter(DominatorTree dt)

Method Summary

Modifier and Type	Method and Description
java.util.List	getHeads() Returns a list of entry points for this graph.
java.util.List	getPredsOf(java.lang.Object node) Returns a list of predecessors for the given node in the graph.
java.util.List	getSuccsOf(java.lang.Object node) Returns a list of successors for the given node in the graph.
java.util.List	getTails() Returns a list of exit points for this graph.
java.util.Iterator	iterator() Returns an iterator for the nodes in this graph.
int	size() Returns the node count for this graph.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

DominatorTreeAdapter

public DominatorTreeAdapter(DominatorTree dt)

Method Detail

getHeads

public java.util.List getHeads()

Description copied from interface: DirectedGraph

Returns a list of entry points for this graph.

Specified by:

getHeads in interface DirectedGraph

getTails

public java.util.List getTails()

Description copied from interface: DirectedGraph

Returns a list of exit points for this graph.

Specified by:

getTails in interface DirectedGraph

getPredsOf

public java.util.List getPredsOf(java.lang.Object node)

Description copied from interface: DirectedGraph

Returns a list of predecessors for the given node in the graph.

Specified by:

getPredsOf in interface DirectedGraph

getSuccsOf

public java.util.List getSuccsOf(java.lang.Object node)

Description copied from interface: DirectedGraph

Returns a list of successors for the given node in the graph.

Specified by:

getSuccsOf in interface DirectedGraph

iterator

public java.util.Iterator iterator()

Description copied from interface: DirectedGraph

Returns an iterator for the nodes in this graph. No specific ordering of the nodes is guaranteed.

Specified by:

iterator in interface java.lang.Iterable

Specified by:

iterator in interface DirectedGraph

size

public int size()

Description copied from interface: DirectedGraph

Returns the node count for this graph.

Specified by:

size in interface DirectedGraph