|
|||||||||
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.AbstractBoundedFlowSet | +--soot.toolkits.scalar.ArrayPackedSet
Reference implementation for a BoundedFlowSet. Items are stored in an Array.
Constructor Summary | |
ArrayPackedSet(FlowUniverse universe)
|
Method Summary | |
void |
add(java.lang.Object obj)
Adds obj to this . |
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. |
void |
complement(FlowSet destFlow)
Complements this BoundedFlowSet, putting the result into dest . |
boolean |
contains(java.lang.Object obj)
Returns true, if the object is in the set. |
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()
returns an empty set, most often more efficient than: ((FlowSet)clone()).clear() |
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 an unbacked list of contained objects for this FlowSet. |
java.util.List |
toList(int low,
int high)
|
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.AbstractBoundedFlowSet |
complement,
topSet |
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 ArrayPackedSet(FlowUniverse universe)
Method Detail |
public java.lang.Object clone()
public java.lang.Object emptySet()
((FlowSet)clone()).clear()
public int size()
public boolean isEmpty()
public void clear()
public java.util.List toList(int low, int high)
public java.util.List toList()
public void add(java.lang.Object obj)
obj
to this
.public void complement(FlowSet destFlow)
dest
. dest
and this
may be the
same object.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 difference(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 boolean contains(java.lang.Object 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 |