|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.PointerAnalysis.ODInformation
ODInformation
contains the pieces of information
relative to an on-demand analysis.
Field Summary | |
static boolean |
DEBUG
|
EdgesNCallees |
inAlways
|
EdgesNCallees |
outAlways
|
EdgesNCallees |
outMaybe
|
boolean |
precise
|
Set |
skippedCS
|
Constructor Summary | |
ODInformation()
Creates an ODInformation object. |
|
ODInformation(boolean precision)
Creates an ODInformation object, whose precision
is set by its boolean argument. |
Method Summary | |
void |
addHole(MethodHole hole)
|
void |
addInsideEdges(PANode n1,
String f,
PANode n2)
|
void |
addInsideEdges(PANode n1,
String f,
PANode n2,
ODInformation reference,
Set new_n1,
Set new_n2)
|
void |
addInsideEdges(PANode n1,
String f,
PANode n2,
ODInformation reference,
Set new_n1,
Set new_n2,
Set previous_holes)
|
void |
addInsideEdges(Set nodes1,
String f,
Set nodes2)
|
void |
addLock(PASync sync)
|
void |
addOutsideEdges(PANode n1,
String f,
PANode n2)
|
void |
addOutsideEdges(PANode n1,
String f,
PANode n2,
ODInformation reference,
Set new_n1)
|
void |
addOutsideEdges(PANode n1,
String f,
PANode n2,
ODInformation reference,
Set new_n1,
Set previous_holes)
|
void |
addOutsideEdges(Set nodes1,
String f,
PANode n2)
|
Object |
clone()
|
Object |
clonebis()
|
void |
join(ODInformation odi2)
Joins two ODInformation objects. |
Set |
predecessors(MethodHole mh)
|
void |
remove(MethodHole mh)
|
ODInformation |
specialize(Map nodeConversion)
|
String |
toString()
Pretty-print debug function. |
static void |
update_and_add(EdgesNCallees edges,
EdgesNCallees addenda,
MethodHole[] map,
MethodHole hole,
Set toberemoved)
|
static void |
update_and_addbis(EdgesNCallees edges,
EdgesNCallees addenda,
MethodHole[] map,
MethodHole hole,
Set toberemoved)
|
static Set |
update_locks(ODInformation odi_org,
ODInformation odi_new,
ODInformation odi_callee,
Relation first_mapping,
Relation second_mapping,
MethodHole[] mh_converter,
MethodHole hole,
Set hole_substitute)
|
void |
update_skippedCSHistory(Relation caller_hist,
MethodHole[] map,
int mapsize,
MethodHole hole,
Set hole_corresp,
ODInformation new_odi,
Relation callee_hist)
|
void |
update_skippedCSHistorybis(Relation caller_hist,
MethodHole[] map,
int mapsize,
MethodHole hole,
Set hole_corresp,
ODInformation new_odi,
Relation callee_hist)
|
void |
update(EdgesNCallees edges_new,
EdgesNCallees edges_org,
MethodHole[] map,
int mapsize,
Set mh_from_callee_new,
MethodHole m_hole,
Set toberemoved)
|
Set |
update(ODInformation new_odi,
ODParIntGraph pig_caller,
ODParIntGraph pig_callee,
Relation first_mapping,
Relation second_mapping_extended,
MethodHole hole,
ODInformation first_part,
ODInformation second_part,
Set toberemoved)
|
void |
updatebis(EdgesNCallees edges_new,
EdgesNCallees edges_org,
MethodHole[] map,
int mapsize,
Set mh_from_callee_new,
MethodHole m_hole,
Set toberemoved)
|
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final boolean DEBUG
public boolean precise
public EdgesNCallees inAlways
public EdgesNCallees outAlways
public EdgesNCallees outMaybe
public Set skippedCS
Constructor Detail |
public ODInformation()
ODInformation
object. This information
is precise or conservative depending of the value of the
corresponding static field in ODPointerAnalysis.
public ODInformation(boolean precision)
ODInformation
object, whose precision
is set by its boolean argument.
Method Detail |
public void join(ODInformation odi2)
ODInformation
objects.
public Object clone()
clone
in class Object
public Object clonebis()
public ODInformation specialize(Map nodeConversion)
public String toString()
toString
in class Object
public void remove(MethodHole mh)
public Set predecessors(MethodHole mh)
public void addOutsideEdges(Set nodes1, String f, PANode n2)
public void addOutsideEdges(PANode n1, String f, PANode n2)
public void addOutsideEdges(PANode n1, String f, PANode n2, ODInformation reference, Set new_n1)
public void addOutsideEdges(PANode n1, String f, PANode n2, ODInformation reference, Set new_n1, Set previous_holes)
public void addInsideEdges(PANode n1, String f, PANode n2)
public void addInsideEdges(Set nodes1, String f, Set nodes2)
public void addInsideEdges(PANode n1, String f, PANode n2, ODInformation reference, Set new_n1, Set new_n2)
public void addInsideEdges(PANode n1, String f, PANode n2, ODInformation reference, Set new_n1, Set new_n2, Set previous_holes)
public void addLock(PASync sync)
public void addHole(MethodHole hole)
public Set update(ODInformation new_odi, ODParIntGraph pig_caller, ODParIntGraph pig_callee, Relation first_mapping, Relation second_mapping_extended, MethodHole hole, ODInformation first_part, ODInformation second_part, Set toberemoved)
public void update_skippedCSHistory(Relation caller_hist, MethodHole[] map, int mapsize, MethodHole hole, Set hole_corresp, ODInformation new_odi, Relation callee_hist)
public void update_skippedCSHistorybis(Relation caller_hist, MethodHole[] map, int mapsize, MethodHole hole, Set hole_corresp, ODInformation new_odi, Relation callee_hist)
public void update(EdgesNCallees edges_new, EdgesNCallees edges_org, MethodHole[] map, int mapsize, Set mh_from_callee_new, MethodHole m_hole, Set toberemoved)
public void updatebis(EdgesNCallees edges_new, EdgesNCallees edges_org, MethodHole[] map, int mapsize, Set mh_from_callee_new, MethodHole m_hole, Set toberemoved)
public static void update_and_add(EdgesNCallees edges, EdgesNCallees addenda, MethodHole[] map, MethodHole hole, Set toberemoved)
public static void update_and_addbis(EdgesNCallees edges, EdgesNCallees addenda, MethodHole[] map, MethodHole hole, Set toberemoved)
public static Set update_locks(ODInformation odi_org, ODInformation odi_new, ODInformation odi_callee, Relation first_mapping, Relation second_mapping, MethodHole[] mh_converter, MethodHole hole, Set hole_substitute)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |