|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.DomTree
DomTree
computes the dominator tree of a flowgraph-structured
IR. The HCode
must have a valid
CFGrapher
.
Constructor Summary | |
DomTree(HCode hcode,
boolean isPost)
Creates a new DomTree with the dominator
tree for the given HCode ; if isPost is
true, creates a postdominator tree instead. |
|
DomTree(HCode hcode,
CFGrapher grapher,
boolean isPost)
Creates a new DomTree with the dominator
tree for the given HCode ; if isPost is
true, creates a postdominator tree instead. |
Method Summary | |
HCodeElement[] |
children(HCodeElement n)
Return the children of an HCodeElement in the immediate
(post)dominator tree. |
HCodeElement |
idom(HCodeElement n)
Return the immediate (post)dominator of an HCodeElement . |
HCodeElement[] |
roots()
Return the roots of the (post-)dominator tree (forest). |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DomTree(HCode hcode, boolean isPost)
DomTree
with the dominator
tree for the given HCode
; if isPost
is
true, creates a postdominator tree instead. Uses the default
CFGrapher
, which means the elements of the
HCode
must implement CFGraphable
.
public DomTree(HCode hcode, CFGrapher grapher, boolean isPost)
DomTree
with the dominator
tree for the given HCode
; if isPost
is
true, creates a postdominator tree instead. Uses the specified
CFGrapher
to construct the control flow graph of
the HCode
.
Method Detail |
public HCodeElement[] roots()
public HCodeElement idom(HCodeElement n)
HCodeElement
.
n
, or
null
if n
is the root (a leaf)
of the flow graph.public HCodeElement[] children(HCodeElement n)
HCodeElement
in the immediate
(post)dominator tree.
n
in the
immediate dominator tree, or a zero-length array if
n
is a tree leaf.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |