harpoon.Analysis.MemOpt
Class ComputeAnAe

java.lang.Object
  |
  +--harpoon.Analysis.MemOpt.ComputeAnAe

public class ComputeAnAe
extends Object

ComputeAnAe

Version:
$Id: ComputeAnAe.java,v 1.2 2002/04/03 17:02:03 salcianu Exp $
Author:
Alexandru SALCIANU <salcianu@MIT.edu>

Field Summary
static boolean STATS
          Enable some statistics on variables and constraints.
 
Constructor Summary
ComputeAnAe(CachingCodeFactory hcf, CallGraph cg)
           
ComputeAnAe(CachingCodeFactory hcf, CallGraph cg, boolean anew)
          Creates a ComputeAnAe.
 
Method Summary
 Set getAe(HMethod hm)
          Returns the set of nodes allocated in hm (or one of the transitively called methods), along some path that ends in the exceptional exit of hm.
 Set getAn(HMethod hm)
          Returns the set of nodes allocated in hm (or one of the transitively called methods), along some path that ends in the normal exit of hm.
static boolean isAnalyzable(HMethod hm)
          Checks whether we can look at the code of hm.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

STATS

public static final boolean STATS
Enable some statistics on variables and constraints.

See Also:
Constant Field Values
Constructor Detail

ComputeAnAe

public ComputeAnAe(CachingCodeFactory hcf,
                   CallGraph cg,
                   boolean anew)
Creates a ComputeAnAe.


ComputeAnAe

public ComputeAnAe(CachingCodeFactory hcf,
                   CallGraph cg)
Method Detail

isAnalyzable

public static boolean isAnalyzable(HMethod hm)
Checks whether we can look at the code of hm.


getAn

public Set getAn(HMethod hm)
Returns the set of nodes allocated in hm (or one of the transitively called methods), along some path that ends in the normal exit of hm.


getAe

public Set getAe(HMethod hm)
Returns the set of nodes allocated in hm (or one of the transitively called methods), along some path that ends in the exceptional exit of hm.