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
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
param
private Parameters param
name
private java.lang.String name
condition
private java.lang.String condition
type
private java.lang.String type
FixpointIterator
public FixpointIterator(java.lang.String n,
Parameters p)
- The constructor
- Parameters:
n
- the name of this iteratorp
- the parameters of this itterator
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
..no bottom yet...