harpoon.Analysis.TypeInference
Class InterProc

java.lang.Object
  harpoon.Analysis.TypeInference.InterProc

All Implemented Interfaces:

SetTypeMap

public class InterProc
extends Object
implements SetTypeMap

InterProc

Version:

$Id: InterProc.java,v 1.3 2004/02/08 01:54:33 cananian Exp $

Author:

Darko Marinov <marinov@lcs.mit.edu>

Constructor Summary

InterProc(HCode main, ClassHierarchy ch, HCodeFactory hcf)

InterProc(HCode main, HCodeFactory hcf)
Creates an InterProc analyzer.

Method Summary

void	analyze()
HMethod[]	calls(HMethod m)
HMethod[]	calls(HMethod m, CALL cs, boolean last)
SetHClass	getReturnType(HCode c)
SetHClass	setTypeMap(HCode c, Temp t) Return the concrete type of a given temporary.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InterProc

public InterProc(HCode main,
                 HCodeFactory hcf)

Creates an InterProc analyzer.

InterProc

public InterProc(HCode main,
                 ClassHierarchy ch,
                 HCodeFactory hcf)

Method Detail

setTypeMap

public SetHClass setTypeMap(HCode c,
                            Temp t)

Description copied from interface: SetTypeMap

Return the concrete type of a given temporary.

Specified by:

setTypeMap in interface SetTypeMap

Parameters:

c - The HCode containing t.

t - The temporary to examine.

Returns:

the concrete type of t.

getReturnType

public SetHClass getReturnType(HCode c)

calls

public HMethod[] calls(HMethod m)

calls

public HMethod[] calls(HMethod m,
                       CALL cs,
                       boolean last)

analyze

public void analyze()