|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.scalar.AbstractFlowSet
provides functional code for most of the methods. Subclasses are invited to
provide a more efficient version. Most often this will be done in the
following way:
public void yyy(FlowSet dest) { if (dest instanceof xxx) { blahblah; } else super.yyy(dest) }
Constructor Summary | |
AbstractFlowSet()
|
Method Summary | |
abstract void |
add(java.lang.Object obj)
Adds obj to this . |
void |
add(java.lang.Object obj,
FlowSet dest)
puts this union obj into dest . |
void |
clear()
implemented, but *very* inefficient. |
abstract java.lang.Object |
clone()
Clones the current FlowSet. |
abstract boolean |
contains(java.lang.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 join ~other) of this FlowSet and other , putting result into this . |
void |
difference(FlowSet other,
FlowSet dest)
Returns the set difference (this join ~other) of this FlowSet and other , putting result into dest . |
java.lang.Object |
emptySet()
implemented, but inefficient. |
boolean |
equals(java.lang.Object o)
|
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 . |
abstract boolean |
isEmpty()
Returns true if this FlowSet is the empty set. |
java.util.Iterator |
iterator()
returns an iterator over the elements of the flowSet. |
abstract void |
remove(java.lang.Object obj)
Removes obj from this . |
void |
remove(java.lang.Object obj,
FlowSet dest)
Puts this minus obj into dest . |
abstract int |
size()
Returns the size of the current FlowSet. |
abstract java.util.List |
toList()
Returns an unbacked list of contained objects for this FlowSet. |
java.lang.String |
toString()
|
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 . |
Methods inherited from class java.lang.Object |
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Constructor Detail |
public AbstractFlowSet()
Method Detail |
public abstract java.lang.Object clone()
public java.lang.Object emptySet()
public void copy(FlowSet dest)
public void clear()
public void union(FlowSet other)
other
, putting
result into this
.public void union(FlowSet other, FlowSet dest)
other
, putting
result into dest
. dest
, other
and
this
could be the same object.public void intersection(FlowSet other)
other
,
putting result into this
.public void intersection(FlowSet other, FlowSet dest)
other
,
putting result into dest
. dest
,
other
and this
could be the same object.public void difference(FlowSet other)
other
, putting result into this
.public void difference(FlowSet other, FlowSet dest)
other
, putting result into dest
.
dest
, other
and this
could be the
same object.public abstract boolean isEmpty()
public abstract int size()
public abstract void add(java.lang.Object obj)
obj
to this
.public void add(java.lang.Object obj, FlowSet dest)
this
union obj
into dest
.public abstract void remove(java.lang.Object obj)
obj
from this
.public void remove(java.lang.Object obj, FlowSet dest)
this
minus obj
into dest
.public abstract boolean contains(java.lang.Object obj)
obj
.public java.util.Iterator iterator()
toList().iterator()
.public abstract java.util.List toList()
public boolean equals(java.lang.Object o)
public java.lang.String toString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |