soot.toolkits.graph

Class DominatorNode

java.lang.Object

soot.toolkits.graph.DominatorNode

public class DominatorNode
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	children
protected java.lang.Object	gode
protected DominatorNode	parent

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DominatorNode(java.lang.Object gode)

Method Summary

Modifier and Type	Method and Description
boolean	addChild(DominatorNode child) Adds a child to the internal list of children of this node in tree.
java.util.List	getChildren() Returns a backed list of the children of this node in the DominatorTree.
java.lang.Object	getGode() Returns the node (from the original DirectedGraph) encapsulated by this DominatorNode.
DominatorNode	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 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 java.lang.Object gode

parent

protected DominatorNode parent

children

protected java.util.List children

Constructor Detail

DominatorNode

protected DominatorNode(java.lang.Object gode)

Method Detail

setParent

public void setParent(DominatorNode parent)

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

addChild

public boolean addChild(DominatorNode child)

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

getGode

public java.lang.Object getGode()

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

getParent

public DominatorNode getParent()

Returns the parent of the node in the DominatorTree.

getChildren

public java.util.List 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