|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.PointerAnalysis.MethodHole
MetHolSet
contains the information corresponding to
method holes in a Parallel Interaction Graph.
Constructor Summary | |
MethodHole(CALL q,
Set params,
MetaMethod[] maybecalled,
Set[] ungroupedparams,
PANode ret,
PANode exc,
int rk,
int dpth)
Creates a MethodHole . |
|
MethodHole(MethodHole ref,
Map nodemap)
Creates a MethodHole which is a copy of the one
given as argument, except that the parameters are mapped using
the second argument. |
|
MethodHole(MethodHole ref,
Set[] ungroupedparams)
Creates a MethodHole which is a copy of the one
given as argument, except for the parameters. |
|
MethodHole(MethodHole ref,
Set[] ungroupedparams,
int incr,
LinkedList ranks)
Creates a MethodHole which is a copy of the one
given as argument, except for the parameters. |
Method Summary | |
Set |
arguments()
Return a set containing all the possible parameters, and the formal return and exception nodes. |
MetaMethod[] |
callees()
Return the array of callees MetaMethod s. |
CALL |
callsite()
Return the call site . |
LinkedList |
callsitehistory()
Return the history of call sites . |
Object |
clone()
Clone a MethodHole . |
boolean |
contains(HMethod hm)
Check whether hm is the method called at the
unanalyzed call site. |
boolean |
contains(PANode node)
Check whether node is a parameter node for the
unanalyzed method. |
boolean |
containsnode(Set nodes)
Check whether at least one of the nodes is a
parameter node for the unanalyzed method. |
int |
depth()
Return the depth . |
static Relation |
DuplicateHistory(Relation org_hist,
Map conversion)
Create a new MethodHole history relation from an
old one and a MethodHole conversion map. |
static Relation |
DuplicateLocks(Relation org_locks,
Map conversion)
Create a new lock relation from an old one and a MethodHole conversion map. |
static Set |
DuplicateSet(Set org_holes,
Map conversion)
Dummy function which creates a set of MethodHole
which is a copy of the old one, while building an identity
mapping other these MethodHole s. |
static Set |
DuplicateSet(Set org_holes,
Map conversion,
Map node_conversion)
Create a new set of MethodHole from an old one
and a PANode conversion table. |
PANode |
exc()
Return the exception node. |
int |
Id()
Read the value of the field id. |
int |
IsInAs(MethodHole[] holeArray,
int size)
Check whether the array of MethodHole contains a
hole with the same content than the calling hole. |
MethodHole |
IsInAs(Set holeset)
Check whether the set of MethodHole contains a
hole with the same content than the calling hole and, if this
is the case, return such a copy. |
HMethod |
method()
Return the HMethod corresponding to the call site. |
Set |
parameters()
Return a set containing all the possible parameters. |
int |
rank()
Return the rank . |
static void |
reset(Set holes1,
Set holes2)
Reset the global mapup flag, and the id and mapup fields of the MethodHoles given in argument. |
PANode |
ret()
Return the result node. |
void |
setId(int IntID)
Set the value of the field id. |
boolean |
strongEquals(MethodHole mh)
Check the equality of the content of two MethodHole, field by field. |
String |
toString()
Pretty-print function for debug purposes. |
Set[] |
ungroupedparameters()
Return an array of set of possible actual parameters, each set corresponding to a formal parameter. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public MethodHole(CALL q, Set params, MetaMethod[] maybecalled, Set[] ungroupedparams, PANode ret, PANode exc, int rk, int dpth)
MethodHole
.
public MethodHole(MethodHole ref, Set[] ungroupedparams)
MethodHole
which is a copy of the one
given as argument, except for the parameters.
public MethodHole(MethodHole ref, Map nodemap)
MethodHole
which is a copy of the one
given as argument, except that the parameters are mapped using
the second argument.
public MethodHole(MethodHole ref, Set[] ungroupedparams, int incr, LinkedList ranks)
MethodHole
which is a copy of the one
given as argument, except for the parameters.
Method Detail |
public Set parameters()
public Set arguments()
public Set[] ungroupedparameters()
public CALL callsite()
call site
.
public LinkedList callsitehistory()
history of call sites
.
public int rank()
rank
.
public int depth()
depth
.
public MetaMethod[] callees()
MetaMethod
s.
public HMethod method()
HMethod
corresponding to the call site.
public PANode ret()
public PANode exc()
public boolean contains(PANode node)
node
is a parameter node for the
unanalyzed method.
public boolean containsnode(Set nodes)
nodes
is a
parameter node for the unanalyzed method.
public boolean contains(HMethod hm)
hm
is the method called at the
unanalyzed call site.
public void setId(int IntID)
public int Id()
public static void reset(Set holes1, Set holes2)
MethodHoles
given in argument.
public String toString()
toString
in class Object
public Object clone()
MethodHole
.
clone
in class Object
public static Set DuplicateSet(Set org_holes, Map conversion)
MethodHole
which is a copy of the old one, while building an identity
mapping other these MethodHole
s.
public static Set DuplicateSet(Set org_holes, Map conversion, Map node_conversion)
MethodHole
from an old one
and a PANode
conversion table. This method outputs
the new set and produces a conversion map from the old
MethodHole
s to the new ones.
public static Relation DuplicateHistory(Relation org_hist, Map conversion)
MethodHole
history relation from an
old one and a MethodHole
conversion map.
public static Relation DuplicateLocks(Relation org_locks, Map conversion)
MethodHole
conversion map.
public MethodHole IsInAs(Set holeset)
MethodHole
contains a
hole with the same content than the calling hole and, if this
is the case, return such a copy.
public int IsInAs(MethodHole[] holeArray, int size)
MethodHole
contains a
hole with the same content than the calling hole. In this case,
the method returns the index of such a copy.
public boolean strongEquals(MethodHole mh)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |