Package soot.toolkits.scalar
Class AbstractBoundedFlowSet<T>
- java.lang.Object
-
- soot.toolkits.scalar.AbstractFlowSet<T>
-
- soot.toolkits.scalar.AbstractBoundedFlowSet<T>
-
- All Implemented Interfaces:
Iterable<T>,BoundedFlowSet<T>,FlowSet<T>
- Direct Known Subclasses:
ArrayPackedSet
public abstract class AbstractBoundedFlowSet<T> extends AbstractFlowSet<T> implements BoundedFlowSet<T>
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
Constructors Constructor Description AbstractBoundedFlowSet()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcomplement()Complementsthis.voidcomplement(FlowSet<T> dest)Complements this BoundedFlowSet, putting the result intodest.FlowSet<T>topSet()returns the topped set.-
Methods inherited from class soot.toolkits.scalar.AbstractFlowSet
add, add, clear, clone, contains, copy, difference, difference, emptySet, equals, hashCode, intersection, intersection, isEmpty, isSubSet, iterator, remove, remove, size, toList, toString, union, union
-
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface soot.toolkits.scalar.FlowSet
add, add, clear, clone, contains, copy, copyFreshToExisting, difference, difference, emptySet, intersection, intersection, isEmpty, isSubSet, iterator, remove, remove, size, toList, union, union
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Method Detail
-
complement
public void complement()
Description copied from interface:BoundedFlowSetComplementsthis.- Specified by:
complementin interfaceBoundedFlowSet<T>
-
complement
public void complement(FlowSet<T> dest)
Description copied from interface:BoundedFlowSetComplements this BoundedFlowSet, putting the result intodest.destandthismay be the same object.- Specified by:
complementin interfaceBoundedFlowSet<T>
-
topSet
public FlowSet<T> topSet()
Description copied from interface:BoundedFlowSetreturns the topped set.- Specified by:
topSetin interfaceBoundedFlowSet<T>
-
-