soot.toolkits.graph
Class DominatorNode

java.lang.Object
  soot.toolkits.graph.DominatorNode

public class DominatorNode
extends 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

protected List	children
protected Object	gode
protected DominatorNode	parent

Constructor Summary

protected

DominatorNode(Object gode)

Method Summary

boolean	addChild(DominatorNode child) Adds a child to the internal list of children of this node in tree.
List	getChildren() Returns a backed list of the children of this node in the DominatorTree.
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.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

gode

protected Object gode

parent

protected DominatorNode parent

children

protected List children

Constructor Detail

DominatorNode

protected DominatorNode(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 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 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 String toString()

Overrides:

toString in class Object