All Packages Class Hierarchy This Package Previous Next Index
Interface harpoon.Analysis.Maps.ConstMap
- public interface ConstMap
ConstMap
is a mapping from temporaries to their constant
values.
- Version:
- $Id: ConstMap.java,v 1.2 1998/10/11 02:37:07 cananian Exp $
- Author:
- C. Scott Ananian <cananian@alumni.princeton.edu>
-
constMap(HCode, Temp)
-
Determine the constant value of a given temporary.
-
isConst(HCode, Temp)
-
Determine whether a given temporary has a constant value.
isConst
public abstract boolean isConst(HCode hc,
Temp t)
- Determine whether a given temporary has a constant value.
- Parameters:
- hc - the
HCode
containing the temporary.
- t - the
Temp
to be examined.
- Returns:
-
true
is the given Temp
can
be proven to have a constant value, false
otherwise.
constMap
public abstract Object constMap(HCode hc,
Temp t)
- Determine the constant value of a given temporary.
- Parameters:
- hc - the
HCode
containing the
temporary t
.
- t - the temporary to be examined.
- Returns:
- an object corresponding to the constant value of this
temporary. Values of base types get wrapped in objects
in the standard way.
- Throws: Error
- if
isConst(hc,t)
is false.
All Packages Class Hierarchy This Package Previous Next Index