soot.toolkits.scalar
Interface BoundedFlowSet
- All Superinterfaces:
- FlowSet
- 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 |
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)