|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.scalar.AbstractFlowSet | +--soot.toolkits.scalar.ArraySparseSet
Reference implementation for a FlowSet. Items are stored in an Array.
Constructor Summary | |
ArraySparseSet()
|
Method Summary | |
void |
add(java.lang.Object e)
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 destFlow)
Copies the current FlowSet into dest. |
void |
difference(FlowSet otherFlow,
FlowSet destFlow)
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 otherFlow)
|
void |
intersection(FlowSet otherFlow,
FlowSet destFlow)
Returns the intersection (meet) of this FlowSet and other ,
putting result into dest . |
boolean |
isEmpty()
Returns true if this FlowSet is the empty set. |
void |
remove(java.lang.Object obj)
Removes obj from this . |
int |
size()
Returns the size of the current FlowSet. |
java.util.List |
toList()
Returns a unbacked list of elements in this set. |
void |
union(FlowSet otherFlow,
FlowSet destFlow)
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,
toString,
union |
Methods inherited from class java.lang.Object |
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Constructor Detail |
public ArraySparseSet()
Method Detail |
public java.lang.Object clone()
public java.lang.Object emptySet()
public void clear()
public int size()
public boolean isEmpty()
public java.util.List toList()
public void add(java.lang.Object e)
obj
to this
.public void remove(java.lang.Object obj)
obj
from this
.public void union(FlowSet otherFlow, FlowSet destFlow)
other
, putting
result into dest
. dest
, other
and
this
could be the same object.public void intersection(FlowSet otherFlow, FlowSet destFlow)
other
,
putting result into dest
. dest
,
other
and this
could be the same object.public void difference(FlowSet otherFlow, FlowSet destFlow)
other
, putting result into dest
.
dest
, other
and this
could be the
same object.public boolean contains(java.lang.Object obj)
obj
.public boolean equals(java.lang.Object otherFlow)
public void copy(FlowSet destFlow)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |