|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--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)
|
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. |
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.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 ArraySparseSet()
| Method Detail |
public java.lang.Object clone()
public void clear()
public int size()
public boolean isEmpty()
public java.util.List toList()
public void add(java.lang.Object e)
public void add(java.lang.Object obj,
FlowSet destFlow)
obj to dest. (optional operation)
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 intersection(FlowSet otherFlow,
FlowSet destFlow)
other, putting result into dest.
public void difference(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 | ||||||||