soot.toolkits.scalar

Class AbstractBoundedFlowSet<T>

java.lang.Object

soot.toolkits.scalar.AbstractFlowSet<T>

soot.toolkits.scalar.AbstractBoundedFlowSet<T>

All Implemented Interfaces:

java.lang.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 and Description
AbstractBoundedFlowSet()

Method Summary

Modifier and Type	Method and Description
void	complement() Complements this.
void	complement(FlowSet<T> dest) Complements this BoundedFlowSet, putting the result into dest.
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, difference, difference, emptySet, intersection, intersection, isEmpty, isSubSet, iterator, remove, remove, size, toList, union, union

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

AbstractBoundedFlowSet

public AbstractBoundedFlowSet()

Method Detail

complement

public void complement()

Description copied from interface: BoundedFlowSet

Complements this.

Specified by:

complement in interface BoundedFlowSet<T>

complement

public void complement(FlowSet<T> 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<T>

topSet

public FlowSet<T> topSet()

Description copied from interface: BoundedFlowSet

returns the topped set.

Specified by:

topSet in interface BoundedFlowSet<T>