soot.toolkits.scalar

Interface BoundedFlowSet<T>

All Superinterfaces:

FlowSet<T>, java.lang.Iterable<T>

All Known Implementing Classes:

AbstractBoundedFlowSet, ArrayPackedSet

public interface BoundedFlowSet<T>
extends FlowSet<T>

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

Methods

Modifier and Type	Method and Description
void	complement() Complements this.
void	complement(FlowSet<T> dest) Complements this BoundedFlowSet, putting the result into dest.
FlowSet<T>	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, isSubSet, iterator, remove, remove, size, toList, union, union

Method Detail

complement

void complement()

Complements this.

complement

void complement(FlowSet<T> dest)

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

topSet

FlowSet<T> topSet()

returns the topped set.