soot.toolkits.graph

Class DominatorNode<N>

java.lang.Object

soot.toolkits.graph.DominatorNode<N>

public class DominatorNode<N>
extends java.lang.Object

Represents a dominator node in DominatorTree. Usually you should use DominatorTree or DominanceFrontier to obtain information on how a node relates to other nodes instead of directly using any methods provided here.

Author:

Navindra Umanee

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<DominatorNode<N>>	children
protected N	gode
protected DominatorNode<N>	parent

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DominatorNode(N gode)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addChild(DominatorNode<N> child) Adds a child to the internal list of children of this node in tree.
java.util.List<DominatorNode<N>>	getChildren() Returns a backed list of the children of this node in the DominatorTree.
N	getGode() Returns the node (from the original DirectedGraph) encapsulated by this DominatorNode.
DominatorNode<N>	getParent() Returns the parent of the node in the DominatorTree.
boolean	isHead() Returns true if this node is the head of its DominatorTree.
boolean	isTail() Returns true if this node is a tail of its DominatorTree.
void	setParent(DominatorNode<N> parent) Sets the parent of this node in the DominatorTree.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

gode

protected N gode

parent

protected DominatorNode<N> parent

children

protected java.util.List<DominatorNode<N>> children

Constructor Detail

DominatorNode

protected DominatorNode(N gode)

Method Detail

setParent

public void setParent(DominatorNode<N> parent)

Sets the parent of this node in the DominatorTree. Usually called internally.

addChild

public boolean addChild(DominatorNode<N> child)

Adds a child to the internal list of children of this node in tree. Usually called internally.

getGode

public N getGode()

Returns the node (from the original DirectedGraph) encapsulated by this DominatorNode.

getParent

public DominatorNode<N> getParent()

Returns the parent of the node in the DominatorTree.

getChildren

public java.util.List<DominatorNode<N>> getChildren()

Returns a backed list of the children of this node in the DominatorTree.

isHead

public boolean isHead()

Returns true if this node is the head of its DominatorTree.

isTail

public boolean isTail()

Returns true if this node is a tail of its DominatorTree.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object