|
|||||||||
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()
FlowSet
clone
in interface FlowSet
clone
in class java.lang.Object
public void copy(FlowSet d)
FlowSet
copy
in interface FlowSet
public void clear()
FlowSet
clear
in interface FlowSet
public void union(FlowSet o, FlowSet d)
FlowSet
other
, putting result into dest
.union
in interface FlowSet
public void intersection(FlowSet o, FlowSet d)
FlowSet
other
, putting result into dest
.intersection
in interface FlowSet
public void difference(FlowSet o, FlowSet d)
FlowSet
other
, putting result into dest
.difference
in interface FlowSet
public boolean isEmpty()
FlowSet
isEmpty
in interface FlowSet
public int size()
FlowSet
size
in interface FlowSet
public void add(java.lang.Object obj, FlowSet d)
FlowSet
obj
to dest
. (optional operation)add
in interface FlowSet
public void remove(java.lang.Object obj, FlowSet d)
FlowSet
obj
from dest
. (optional operation)remove
in interface FlowSet
public boolean contains(java.lang.Object obj)
FlowSet
obj
. (optional operation)contains
in interface FlowSet
public java.util.List toList()
FlowSet
toList
in interface FlowSet
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public 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 |