|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface FlowSet
Represents information for flow analysis. A FlowSet is an element of a lattice; this lattice might be described by a FlowUniverse. If add, remove, size, isEmpty, toList and contains are implemented, the lattice must be the powerset of some set.
| Method Summary | |
|---|---|
void |
add(Object obj)
Adds obj to this. |
void |
add(Object obj,
FlowSet dest)
puts this union obj into dest. |
void |
clear()
Sets this FlowSet to the empty set (more generally, the bottom element of the lattice.) |
FlowSet |
clone()
Clones the current FlowSet. |
boolean |
contains(Object obj)
Returns true if this FlowSet contains obj. |
void |
copy(FlowSet dest)
Copies the current FlowSet into dest. |
void |
difference(FlowSet other)
Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into this. |
void |
difference(FlowSet other,
FlowSet dest)
Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into dest. |
Object |
emptySet()
returns an empty set, most often more efficient than: ((FlowSet)clone()).clear() |
void |
intersection(FlowSet other)
Returns the intersection (meet) of this FlowSet and other,
putting result into this. |
void |
intersection(FlowSet other,
FlowSet dest)
Returns the intersection (meet) of this FlowSet and other,
putting result into dest. |
boolean |
isEmpty()
Returns true if this FlowSet is the empty set. |
Iterator |
iterator()
returns an iterator over the elements of the flowSet. |
void |
remove(Object obj)
Removes obj from this. |
void |
remove(Object obj,
FlowSet dest)
Puts this minus obj into dest. |
int |
size()
Returns the size of the current FlowSet. |
List |
toList()
Returns an unbacked list of contained objects for this FlowSet. |
void |
union(FlowSet other)
Returns the union (join) of this FlowSet and other, putting
result into this. |
void |
union(FlowSet other,
FlowSet dest)
Returns the union (join) of this FlowSet and other, putting
result into dest. |
| Method Detail |
|---|
FlowSet clone()
Object emptySet()
((FlowSet)clone()).clear()
void copy(FlowSet dest)
void clear()
void union(FlowSet other)
other, putting
result into this.
void union(FlowSet other,
FlowSet dest)
other, putting
result into dest. dest, other and
this could be the same object.
void intersection(FlowSet other)
other,
putting result into this.
void intersection(FlowSet other,
FlowSet dest)
other,
putting result into dest. dest,
other and this could be the same object.
void difference(FlowSet other)
other, putting result into this.
void difference(FlowSet other,
FlowSet dest)
other, putting result into dest.
dest, other and this could be the
same object.
boolean isEmpty()
int size()
void add(Object obj)
obj to this.
void add(Object obj,
FlowSet dest)
this union obj into dest.
void remove(Object obj)
obj from this.
void remove(Object obj,
FlowSet dest)
this minus obj into dest.
boolean contains(Object obj)
obj.
Iterator iterator()
toList().iterator().
List toList()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||