|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.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(java.lang.Object obj)
Adds obj to this . |
void |
clear()
implemented, but *very* inefficient. |
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 . |
java.lang.Object |
emptySet()
implemented, but inefficient. |
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)
Removes obj from this . |
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 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 java.lang.Object clone()
public void copy(FlowSet d)
public java.lang.Object emptySet()
public void clear()
public void union(FlowSet o, FlowSet d)
other
, putting
result into dest
. dest
, other
and
this
could be the same object.public void intersection(FlowSet o, FlowSet d)
other
,
putting result into dest
. dest
,
other
and this
could be the same object.public void difference(FlowSet o, FlowSet d)
other
, putting result into dest
.
dest
, other
and this
could be the
same object.public boolean isEmpty()
public int size()
public void add(java.lang.Object obj)
obj
to this
.public void remove(java.lang.Object obj)
obj
from this
.public boolean contains(java.lang.Object obj)
obj
.public java.util.List toList()
public boolean equals(java.lang.Object o)
public java.lang.String toString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |