harpoon.Analysis.Maps
Interface SetTypeMap

All Known Implementing Classes:

InterProc

public interface SetTypeMap

SetTypeMap is a mapping from temporaries to their concrete types, i.e. the sets of all exact classes whose instances the temporary may hold during execution. (For details see Ole Agesen's PhD Thesis, pp. 4-8.)

Version:

$Id: SetTypeMap.java,v 1.2 2002/02/25 20:58:10 cananian Exp $

Author:

Darko Marinov <marinov@lcs.mit.edu>

Method Summary

SetHClass

setTypeMap(HCode c, Temp t) Return the concrete type of a given temporary.

Method Detail

setTypeMap

SetHClass setTypeMap(HCode c,
                     Temp t)

Return the concrete type of a given temporary.

Parameters:

c - The HCode containing t.

t - The temporary to examine.

Returns:

the concrete type of t.