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
fixpointIterator
public fixpointIterator(java.lang.String n,
Parameters p)
- The constructor
- Parameters:
n
- the name of this iteratorp
- the parameters of this itterator
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.
..no bottom yet...