INRIA & FluxMedia

fr.fluxmedia.transmorpher.stdlib
Class fixpointIterator

java.lang.Object
  |
  +--fr.fluxmedia.transmorpher.stdlib.fixpointIterator
All Implemented Interfaces:
java.util.Enumeration, TIterator

public final class fixpointIterator
extends java.lang.Object
implements TIterator

This iterator is only used to set up LoopManagerHandler with TestHandler instead of LoopHandler.

Author:
triolet

Field Summary
private  java.lang.String condition
           
private  java.lang.String name
           
private  Parameters param
           
 
Constructor Summary
fixpointIterator(java.lang.String n, Parameters p)
          The constructor
 
Method Summary
 boolean hasMoreElements()
          Always returns true.
 void init(Parameters p)
          The initializer
 java.lang.Object nextElement()
          Always returns the same value.
 void staticInit(Parameters p)
          Static initialization is currently not used
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

param

private Parameters param

name

private java.lang.String name

condition

private java.lang.String condition
Constructor Detail

fixpointIterator

public fixpointIterator(java.lang.String n,
                        Parameters p)
The constructor
Parameters:
n - the name of this iterator
p - the parameters of this itterator
Method Detail

staticInit

public void staticInit(Parameters p)
Static initialization is currently not used
Specified by:
staticInit in interface TIterator
Parameters:
p - the parameters of this iterator

init

public void init(Parameters p)
The initializer
Specified by:
init in interface TIterator
Parameters:
p - The parameters of this iterator

hasMoreElements

public final boolean hasMoreElements()
Always returns true.
Specified by:
hasMoreElements in interface java.util.Enumeration
Returns:
always true.

nextElement

public final java.lang.Object nextElement()
Always returns the same value.
Specified by:
nextElement in interface java.util.Enumeration
Returns:
something.

INRIA & FluxMedia

..no bottom yet...