soot.toolkits.scalar

Class AbstractBoundedFlowSet

java.lang.Object

soot.toolkits.scalar.AbstractFlowSet

soot.toolkits.scalar.AbstractBoundedFlowSet

All Implemented Interfaces:

java.lang.Iterable, BoundedFlowSet, FlowSet

Direct Known Subclasses:

ArrayPackedSet

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)
 }
 

Constructor Summary

Constructors

Constructor and Description
AbstractBoundedFlowSet()

Method Summary

Modifier and Type	Method and Description
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, hashCode, intersection, intersection, isEmpty, 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, 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

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