|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.MemOpt.ComputeAnAe
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 |
public static final boolean STATS
Constructor Detail |
public ComputeAnAe(CachingCodeFactory hcf, CallGraph cg, boolean anew)
ComputeAnAe
.
public ComputeAnAe(CachingCodeFactory hcf, CallGraph cg)
Method Detail |
public static boolean isAnalyzable(HMethod hm)
hm
.
public Set getAn(HMethod hm)
hm
(or one
of the transitively called methods), along some path that ends
in the normal exit of hm
.
public Set getAe(HMethod hm)
hm
(or one
of the transitively called methods), along some path that ends
in the exceptional exit of hm
.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |