|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--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,
FlowSet destFlow)
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. |
void |
complement(FlowSet destFlow)
Complements this BoundedFlowSet, putting the result into dest . |
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 . |
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,
FlowSet destFlow)
Removes obj from dest . |
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)
Returns elements [low..high] of this BoundedFlowSet. |
java.lang.String |
toString()
|
void |
union(FlowSet otherFlow,
FlowSet destFlow)
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 ArrayPackedSet(FlowUniverse universe)
Method Detail |
public java.lang.Object clone()
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, FlowSet destFlow)
obj
to dest
. (optional operation)public void complement(FlowSet destFlow)
dest
.public void remove(java.lang.Object obj, FlowSet destFlow)
obj
from dest
. (optional operation)public void union(FlowSet otherFlow, FlowSet destFlow)
other
, putting result into dest
.public void difference(FlowSet otherFlow, FlowSet destFlow)
other
, putting result into dest
.public void intersection(FlowSet otherFlow, FlowSet destFlow)
other
, putting result into dest
.public boolean contains(java.lang.Object obj)
obj
. (optional operation)public boolean equals(java.lang.Object otherFlow)
public java.lang.String toString()
public void copy(FlowSet destFlow)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |