|
|||||||||
| 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()
FlowSetclone in interface FlowSetclone in class java.lang.Objectpublic int size()
FlowSetsize in interface FlowSetpublic boolean isEmpty()
FlowSetisEmpty in interface FlowSetpublic void clear()
FlowSetclear in interface FlowSet
public java.util.List toList(int low,
int high)
BoundedFlowSettoList in interface BoundedFlowSetpublic java.util.List toList()
FlowSettoList in interface FlowSet
public void add(java.lang.Object obj,
FlowSet destFlow)
FlowSetobj to dest. (optional operation)add in interface FlowSetpublic void complement(FlowSet destFlow)
BoundedFlowSetdest.complement in interface BoundedFlowSet
public void remove(java.lang.Object obj,
FlowSet destFlow)
FlowSetobj from dest. (optional operation)remove in interface FlowSet
public void union(FlowSet otherFlow,
FlowSet destFlow)
FlowSetother, putting result into dest.union in interface FlowSet
public void difference(FlowSet otherFlow,
FlowSet destFlow)
FlowSetother, putting result into dest.difference in interface FlowSet
public void intersection(FlowSet otherFlow,
FlowSet destFlow)
FlowSetother, putting result into dest.intersection in interface FlowSetpublic boolean contains(java.lang.Object obj)
FlowSetobj. (optional operation)contains in interface FlowSetpublic boolean equals(java.lang.Object otherFlow)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic void copy(FlowSet destFlow)
FlowSetcopy in interface FlowSet
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||