soot.toolkits.scalar
Class AbstractBoundedFlowSet
java.lang.Object
|
+--soot.toolkits.scalar.AbstractFlowSet
|
+--soot.toolkits.scalar.AbstractBoundedFlowSet
- All Implemented Interfaces:
- BoundedFlowSet, FlowSet
- Direct Known Subclasses:
- ArrayPackedSet, BoundedArraySparseSet
- public abstract class AbstractBoundedFlowSet
- extends AbstractFlowSet
- implements BoundedFlowSet
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)
}
|
Method Summary |
void |
complement()
Complements this. |
void |
complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into
dest. |
java.lang.Object |
topSet()
returns the topped set. |
| Methods inherited from class soot.toolkits.scalar.AbstractFlowSet |
add, add, clear, clone, contains, copy, difference, difference, emptySet, equals, intersection, intersection, isEmpty, iterator, remove, remove, size, toList, toString, union, union |
| Methods inherited from class java.lang.Object |
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface soot.toolkits.scalar.FlowSet |
add, add, clear, clone, contains, copy, difference, difference, emptySet, intersection, intersection, isEmpty, iterator, remove, remove, size, toList, union, union |
AbstractBoundedFlowSet
public AbstractBoundedFlowSet()
complement
public void complement()
- Description copied from interface:
BoundedFlowSet
- Complements
this.
- Specified by:
complement in interface BoundedFlowSet
complement
public void complement(FlowSet dest)
- Description copied from interface:
BoundedFlowSet
- Complements this BoundedFlowSet, putting the result into
dest. dest and this may be the
same object.
- Specified by:
complement in interface BoundedFlowSet
topSet
public java.lang.Object topSet()
- Description copied from interface:
BoundedFlowSet
- returns the topped set.
- Specified by:
topSet in interface BoundedFlowSet