soot.toolkits.scalar
Interface BoundedFlowSet

All Known Implementing Classes:
ArrayPackedSet

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(FlowSet dest)
          Complements this BoundedFlowSet, putting the result into dest.
 java.util.List toList(int low, int high)
          Returns elements [low..high] of this BoundedFlowSet.
 
Methods inherited from interface soot.toolkits.scalar.FlowSet
add, clear, clone, contains, copy, difference, intersection, isEmpty, remove, size, toList, union
 

Method Detail

complement

public void complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into dest.

toList

public java.util.List toList(int low,
                             int high)
                      throws java.lang.UnsupportedOperationException
Returns elements [low..high] of this BoundedFlowSet. (optional operation)