|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.PointerAnalysis.EdgesNCallees
EdgesNCallees
models a precedence relation between
(inside or outside) edges and call sites skipped by an on demand
analysis. This precedence relation may be strict or not.
Field Summary | |
static boolean |
DEBUG
|
Map |
edges
|
Constructor Summary | |
EdgesNCallees()
Creates a EdgesNCallees coding a strict precedence
relation. |
|
EdgesNCallees(boolean strictness)
Creates a EdgesNCallees coding a strict precedence
relation iff the argument is true. |
Method Summary | |
void |
add(PANode head,
String f,
PANode tail,
Set callees)
Add the callees to the precedence relation of the
edge from head to tail via the field
f , according to the precedence policy (strict or
not). |
void |
add(PANode head,
String f,
Set tails,
Set callees)
Add the callees to the precedence relation of all
the edges from head to a node in
tails via the field f , according to
the precedence policy (strict or not). |
void |
add(Set heads,
String f,
PANode tail,
Set callees)
Add the callees to the precedence relation of the
edge from a node in heads to tail via
the field f , according to the precedence policy
(strict or not). |
void |
add(Set heads,
String f,
Set tails,
Set callees)
Add the callees to the precedence relation of the
edge from a node in heads to a node in
tails via the field f , according to
the precedence policy (strict or not). |
Set |
callees(PANode head,
String f,
PANode tail)
Return the set of callees in relation with the edges from head to tail via the field
f . |
Object |
clone()
Simply clone an EdgesNCallees object. |
EdgesNCallees |
clone(Map hole_conversion)
clone the EdgesNCallees while transposing the
callees using the map . |
EdgesNCallees |
clone(Map hole_conversion,
Map node_conversion)
clone the EdgesNCallees while transposing the
callees using the first map , and the nodes using
the second one. |
void |
join(EdgesNCallees second,
Map holeConversion,
Set firstholes,
Set secondholes,
Set control)
Conservative implementation |
void |
join(Set firstHoles,
EdgesNCallees second,
Set secondHoles)
Conservative implementation |
void |
joinbis(EdgesNCallees second)
Conservative implementation |
Set |
project(Set holes,
Map projection)
|
void |
remove(MethodHole hole)
Removes the MethodHole hole from all the sets of
callees that may contain it. |
void |
set(PANode head,
String f,
PANode tail,
Set callees)
Set the callees to the precedence relation of the
edge from head to tail via the field
f . |
boolean |
strict()
Return the type of the precedence relation. |
String |
toString()
Pretty-print debug function. |
String |
toString(String s)
Pretty-print debug function. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final boolean DEBUG
public Map edges
Constructor Detail |
public EdgesNCallees()
EdgesNCallees
coding a strict precedence
relation.
public EdgesNCallees(boolean strictness)
EdgesNCallees
coding a strict precedence
relation iff the argument is true.
Method Detail |
public boolean strict()
public void add(Set heads, String f, Set tails, Set callees)
callees
to the precedence relation of the
edge from a node in heads
to a node in
tails
via the field f
, according to
the precedence policy (strict or not).
public void add(Set heads, String f, PANode tail, Set callees)
callees
to the precedence relation of the
edge from a node in heads
to tail
via
the field f
, according to the precedence policy
(strict or not).
public void add(PANode head, String f, PANode tail, Set callees)
callees
to the precedence relation of the
edge from head
to tail
via the field
f
, according to the precedence policy (strict or
not).
public void add(PANode head, String f, Set tails, Set callees)
callees
to the precedence relation of all
the edges from head
to a node in
tails
via the field f
, according to
the precedence policy (strict or not).
public void set(PANode head, String f, PANode tail, Set callees)
callees
to the precedence relation of the
edge from head
to tail
via the field
f
.
public Set callees(PANode head, String f, PANode tail)
head
to tail
via the field
f
.
public void remove(MethodHole hole)
hole
from all the sets of
callees that may contain it.
public void join(Set firstHoles, EdgesNCallees second, Set secondHoles)
public void joinbis(EdgesNCallees second)
public void join(EdgesNCallees second, Map holeConversion, Set firstholes, Set secondholes, Set control)
public Object clone()
EdgesNCallees
object.
clone
in class Object
public EdgesNCallees clone(Map hole_conversion)
EdgesNCallees
while transposing the
callees using the map
.
public EdgesNCallees clone(Map hole_conversion, Map node_conversion)
EdgesNCallees
while transposing the
callees using the first map
, and the nodes using
the second one.
public String toString()
toString
in class Object
public String toString(String s)
public Set project(Set holes, Map projection)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |