|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectsoot.toolkits.scalar.AbstractFlowSet
soot.jimple.toolkits.scalar.ToppedSet
Represents information for flow analysis, adding a top element to a lattice. A FlowSet is an element of a lattice; this lattice might be described by a FlowUniverse. If add, remove, size, isEmpty, toList and contains are implemented, the lattice must be the powerset of some set.
| Constructor Summary | |
ToppedSet(FlowSet under)
|
|
| Method Summary | |
void |
add(Object obj)
Adds obj to this. |
void |
clear()
implemented, but *very* inefficient. |
Object |
clone()
Clones the current FlowSet. |
boolean |
contains(Object obj)
Returns true if this FlowSet contains obj. |
void |
copy(FlowSet d)
Copies the current FlowSet into dest. |
void |
difference(FlowSet o,
FlowSet d)
Returns the set difference (this join ~other) of this FlowSet and other, putting result into dest. |
Object |
emptySet()
implemented, but inefficient. |
boolean |
equals(Object o)
|
void |
intersection(FlowSet o,
FlowSet d)
Returns the intersection (meet) of this FlowSet and other,
putting result into dest. |
boolean |
isEmpty()
Returns true if this FlowSet is the empty set. |
boolean |
isTop()
|
void |
remove(Object obj)
Removes obj from this. |
void |
setTop(boolean top)
|
int |
size()
Returns the size of the current FlowSet. |
List |
toList()
Returns an unbacked list of contained objects for this FlowSet. |
String |
toString()
|
void |
union(FlowSet o,
FlowSet d)
Returns the union (join) of this FlowSet and other, putting
result into dest. |
| Methods inherited from class soot.toolkits.scalar.AbstractFlowSet |
add, difference, intersection, iterator, remove, union |
| Methods inherited from class java.lang.Object |
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public ToppedSet(FlowSet under)
| Method Detail |
public void setTop(boolean top)
public boolean isTop()
public Object clone()
FlowSet
clone in interface FlowSetclone in class AbstractFlowSetpublic void copy(FlowSet d)
FlowSet
copy in interface FlowSetcopy in class AbstractFlowSetpublic Object emptySet()
AbstractFlowSet
emptySet in interface FlowSetemptySet in class AbstractFlowSetpublic void clear()
AbstractFlowSet
clear in interface FlowSetclear in class AbstractFlowSet
public void union(FlowSet o,
FlowSet d)
FlowSetother, putting
result into dest. dest, other and
this could be the same object.
union in interface FlowSetunion in class AbstractFlowSet
public void intersection(FlowSet o,
FlowSet d)
FlowSetother,
putting result into dest. dest,
other and this could be the same object.
intersection in interface FlowSetintersection in class AbstractFlowSet
public void difference(FlowSet o,
FlowSet d)
FlowSetother, putting result into dest.
dest, other and this could be the
same object.
difference in interface FlowSetdifference in class AbstractFlowSetpublic boolean isEmpty()
FlowSet
isEmpty in interface FlowSetisEmpty in class AbstractFlowSetpublic int size()
FlowSet
size in interface FlowSetsize in class AbstractFlowSetpublic void add(Object obj)
FlowSetobj to this.
add in interface FlowSetadd in class AbstractFlowSetpublic void remove(Object obj)
FlowSetobj from this.
remove in interface FlowSetremove in class AbstractFlowSetpublic boolean contains(Object obj)
FlowSetobj.
contains in interface FlowSetcontains in class AbstractFlowSetpublic List toList()
FlowSet
toList in interface FlowSettoList in class AbstractFlowSetpublic boolean equals(Object o)
equals in class AbstractFlowSetpublic String toString()
toString in class AbstractFlowSet
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||