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
           
private  java.lang.String type
           
 
Constructor Summary
FixpointIterator(java.lang.String n, Parameters p)
          The constructor
 
Method Summary
 java.lang.String getName()
           
 java.lang.String getType()
           
 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

type

private java.lang.String type
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

getName

public java.lang.String getName()
Specified by:
getName in interface TIterator

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.

getType

public java.lang.String getType()
Specified by:
getType in interface TIterator

INRIA & FluxMedia

..no bottom yet...