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>

Method Index

 o constMap(HCode, Temp)
Determine the constant value of a given temporary.
 o isConst(HCode, Temp)
Determine whether a given temporary has a constant value.

Methods

 o 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.
 o 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