|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--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(java.lang.Object obj,
FlowSet d)
Adds obj to dest. |
void |
clear()
Sets this FlowSet to the empty set (more generally, the bottom element of the lattice.) |
java.lang.Object |
clone()
Clones the current FlowSet. |
boolean |
contains(java.lang.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. |
boolean |
equals(java.lang.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(java.lang.Object obj,
FlowSet d)
Removes obj from dest. |
void |
setTop(boolean top)
|
int |
size()
Returns the size of the current FlowSet. |
java.util.List |
toList()
Returns an unbacked list of contained objects for this FlowSet. |
java.lang.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 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 java.lang.Object clone()
FlowSetclone in interface FlowSetclone in class java.lang.Objectpublic void copy(FlowSet d)
FlowSetcopy in interface FlowSetpublic void clear()
FlowSetclear in interface FlowSet
public void union(FlowSet o,
FlowSet d)
FlowSetother, putting result into dest.union in interface FlowSet
public void intersection(FlowSet o,
FlowSet d)
FlowSetother, putting result into dest.intersection in interface FlowSet
public void difference(FlowSet o,
FlowSet d)
FlowSetother, putting result into dest.difference in interface FlowSetpublic boolean isEmpty()
FlowSetisEmpty in interface FlowSetpublic int size()
FlowSetsize in interface FlowSet
public void add(java.lang.Object obj,
FlowSet d)
FlowSetobj to dest. (optional operation)add in interface FlowSet
public void remove(java.lang.Object obj,
FlowSet d)
FlowSetobj from dest. (optional operation)remove in interface FlowSetpublic boolean contains(java.lang.Object obj)
FlowSetobj. (optional operation)contains in interface FlowSetpublic java.util.List toList()
FlowSettoList in interface FlowSetpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||