soot.toolkits.scalar

Class CollectionFlowUniverse<E>

java.lang.Object

soot.toolkits.scalar.CollectionFlowUniverse<E>

All Implemented Interfaces:

java.lang.Iterable<E>, FlowUniverse<E>

public class CollectionFlowUniverse<E>
extends java.lang.Object
implements FlowUniverse<E>

Provides an implementation of a flow universe, wrapping collections.

Constructor Summary

Constructors

Constructor and Description
CollectionFlowUniverse(java.util.Collection<? extends E> elements)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.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 class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CollectionFlowUniverse

public CollectionFlowUniverse(java.util.Collection<? extends E> elements)

Method Detail

size

public int size()

Description copied from interface: FlowUniverse

returns the number of elements of the universe.

Specified by:

size in interface FlowUniverse<E>

Returns:

the size of the universe.

iterator

public java.util.Iterator<E> iterator()

Description copied from interface: FlowUniverse

returns an iterator over the elements of the universe.

Specified by:

iterator in interface java.lang.Iterable<E>

Specified by:

iterator in interface FlowUniverse<E>

Returns:

an Iterator over the elements.

toArray

public E[] toArray()

Description copied from interface: FlowUniverse

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.

Specified by:

toArray in interface FlowUniverse<E>

Returns:

the elements of the universe.