soot.toolkits.scalar
Class ArrayFlowUniverse

java.lang.Object
  |
  +--soot.toolkits.scalar.ArrayFlowUniverse

public class ArrayFlowUniverse
extends java.lang.Object
implements FlowUniverse

Provides an implementation of a flow universe, wrapping arrays.


Constructor Summary
ArrayFlowUniverse(java.lang.Object[] elements)
           
 
Method Summary
 java.util.Iterator iterator()
          returns an iterator over the elements of the universe.
 int size()
          returns the number of elements of the universe.
 java.lang.Object[] 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

ArrayFlowUniverse

public ArrayFlowUniverse(java.lang.Object[] 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
Tags copied from interface: FlowUniverse
Returns:
the size of the universe.

iterator

public java.util.Iterator iterator()
Description copied from interface: FlowUniverse
returns an iterator over the elements of the universe.
Specified by:
iterator in interface FlowUniverse
Tags copied from interface: FlowUniverse
Returns:
an Iterator over the elements.

toArray

public java.lang.Object[] 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
Tags copied from interface: FlowUniverse
Returns:
the elements of the universe.