soot.toolkits.scalar

Interface BoundedFlowSet

All Superinterfaces:

FlowSet

All Known Implementing Classes:

AbstractBoundedFlowSet, 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

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

void complement()

Complements this.

complement

void complement(FlowSet dest)

Complements this BoundedFlowSet, putting the result into dest. dest and this may be the same object.

topSet

java.lang.Object topSet()

returns the topped set.