soot.toolkits.scalar
Interface BoundedFlowSet

All Superinterfaces:
FlowSet
All Known Implementing Classes:
AbstractBoundedFlowSet

public interface BoundedFlowSet
extends FlowSet

Represents bounded information for flow analysis. Just like FlowSet, but also provides complementation. Some implementations of BoundedFlowSet may require a FlowUniverse for construction.


Method Summary
 void complement()
          Complements this.
 void complement(FlowSet dest)
          Complements this BoundedFlowSet, putting the result into dest.
 Object topSet()
          returns the topped set.
 
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
 

Method Detail

complement

public void complement()
Complements this.


complement

public void complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into dest. dest and this may be the same object.


topSet

public Object topSet()
returns the topped set.