|
||||||||||
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.ConstMapProxy
A ConstMapProxy
implements a ConstMap
for
a cloned HCode
given the HCodeAndMaps
which
specifies its relationship to an HCode
for which a
ConstMap
is known.
Constructor Summary | |
ConstMapProxy(HCodeAndMaps hcam,
ConstMap cm)
Creates a ConstMapProxy . |
Method Summary | |
Object |
constMap(HCodeElement hce,
Temp t)
Determine the constant value of a given temporary in the context of a specific definition. |
boolean |
isConst(HCodeElement hce,
Temp t)
Determine whether a given temporary has a constant value at the specified definition point. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ConstMapProxy(HCodeAndMaps hcam, ConstMap cm)
ConstMapProxy
.
Method Detail |
public boolean isConst(HCodeElement hce, Temp t)
ConstMap
isConst
in interface ConstMap
hce
- the definition point.t
- the Temp
to be examined.
true
is the given definition point can
be proven to give the specified Temp
a
constant value, false
otherwise.public Object constMap(HCodeElement hce, Temp t)
ConstMap
constMap
in interface ConstMap
hce
- the definition point.t
- the temporary to be examined.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |