soot.toolkits.scalar

Interface FlowUniverse<E>

All Superinterfaces:

Iterable<E>

All Known Implementing Classes:

ArrayFlowUniverse, CollectionFlowUniverse

public interface FlowUniverse<E>
extends Iterable<E>

Provides an interface of a flow universe, used by an implementation of BoundedFlowSet to do complementation.

Method Summary

Modifier and Type	Method and Description
Iterator<E>	iterator() returns an iterator over the elements of the universe.
int	size() returns the number of elements of the universe.
E[]	toArray() returns the elements of the universe in form of an array. The returned array could be backed or not.

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

size

int size()

returns the number of elements of the universe.

Returns:

the size of the universe.

iterator

Iterator<E> iterator()

returns an iterator over the elements of the universe.

Specified by:

iterator in interface Iterable<E>

Returns:

an Iterator over the elements.

toArray

E[] toArray()

returns the elements of the universe in form of an array.
The returned array could be backed or not. If you want to be sure that it is unbacked, clone() it.

Returns:

the elements of the universe.