All Packages Class Hierarchy This Package Previous Next Index
ExecMap
is a mapping from HCodeElement
s to
their executable status.
HCodeEdge
.
HCodeElement
.
public abstract boolean execMap(HCode hc, HCodeElement node)
HCodeElement
.
HCode
containing node
.
HCodeElement
to examine.
true
if it is possible to execute this
HCodeElement
; or false
if
it can be proved that this HCodeElement
will never be executed.
public abstract boolean execMap(HCode hc, HCodeEdge edge)
HCodeEdge
.
HCode
containing edge
.
HCodeElement
s in
HCode
.
true
if it is possible to traverse this
edge during execution, or false
if it
can be proved that this edge will never be followed.
All Packages Class Hierarchy This Package Previous Next Index