|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.MetaMethods.MetaCallGraphAbstr
MetaCallGraphAbstr
Abstract implementation of the
MetaCallGraph
interface.
Field Summary | |
protected Set |
all_meta_methods
|
protected Map |
callees1_cmpct
|
protected Map |
callees2_cmpct
|
protected Set |
run_mms
|
Constructor Summary | |
MetaCallGraphAbstr()
|
Method Summary | |
Set |
getAllMetaMethods()
Returns the set of all the meta methods that might be called during the execution of the program. |
MetaMethod[] |
getCallees(MetaMethod mm)
Returns the meta methods that can be called by mm . |
MetaMethod[] |
getCallees(MetaMethod mm,
CALL cs)
Returns the meta methods that can be called by mm
at the call site q . |
Set |
getCallSites(MetaMethod mm)
Returns the set of all the call sites in the code of the meta-method mm . |
Set |
getRunMetaMethods()
Returns the set of the meta-methods that could be called as the body of some thread. |
Relation |
getSplitRelation()
Computes the split relation. |
Set |
getTransCallees(MetaMethod mm)
Returns the set of all the meta methods that might be called, directly or indirectly, by the meta method mm . |
void |
print(PrintWriter pw,
boolean detailed_view,
MetaMethod root)
Nice pretty-printer for debug purposes. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected final Map callees1_cmpct
protected final Map callees2_cmpct
protected final Set all_meta_methods
protected Set run_mms
Constructor Detail |
public MetaCallGraphAbstr()
Method Detail |
public MetaMethod[] getCallees(MetaMethod mm)
mm
.
getCallees
in interface MetaCallGraph
public MetaMethod[] getCallees(MetaMethod mm, CALL cs)
mm
at the call site q
.
getCallees
in interface MetaCallGraph
public Set getTransCallees(MetaMethod mm)
mm
.
getTransCallees
in interface MetaCallGraph
public Set getCallSites(MetaMethod mm)
mm
.
getCallSites
in interface MetaCallGraph
public Set getAllMetaMethods()
getAllMetaMethods
in interface MetaCallGraph
public Relation getSplitRelation()
Relation
that associates to each HMethod
the set of
MetaMethod
s specialized from it.
getSplitRelation
in interface MetaCallGraph
public Set getRunMetaMethods()
MetaCallGraph
getRunMetaMethods
in interface MetaCallGraph
public void print(PrintWriter pw, boolean detailed_view, MetaMethod root)
print
in interface MetaCallGraph
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |