soot.toolkits.scalar
Interface BoundedFlowSet
- 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. |
java.lang.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 |
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 java.lang.Object topSet()
- returns the topped set.