|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.Maps.MapProxy | +--harpoon.Analysis.Maps.ExecMapProxy
An ExecMapProxy
implements an ExecMap
for
a cloned HCode
given the HCodeAndMaps
which
specifies its relationship to an HCode
for which a
ExecMap
is known.
Constructor Summary | |
ExecMapProxy(HCodeAndMaps hcam,
ExecMap em)
Creates an ExecMapProxy . |
Method Summary | |
boolean |
execMap(HCodeEdge edge)
Returns the executable status of an HCodeEdge . |
boolean |
execMap(HCodeElement node)
Returns the executable status of an HCodeElement . |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ExecMapProxy(HCodeAndMaps hcam, ExecMap em)
ExecMapProxy
.
Method Detail |
public boolean execMap(HCodeElement node)
ExecMap
HCodeElement
.
execMap
in interface ExecMap
node
- The 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 boolean execMap(HCodeEdge edge)
ExecMap
HCodeEdge
.
execMap
in interface ExecMap
edge
- An edge between two HCodeElement
s in
some 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.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |