net.sourceforge.czt.animation.eval.result

Class PowerSet.AddElementIterator

java.lang.Object

net.sourceforge.czt.animation.eval.result.PowerSet.AddElementIterator

All Implemented Interfaces:

Iterator<DiscreteSet>

Enclosing class:

PowerSet

protected static class PowerSet.AddElementIterator
extends Object
implements Iterator<DiscreteSet>

An iterator over a list of sets that adds a given expression to each of the element sets before returning. The original list is not changed by this.

Constructor Summary

Constructors

Constructor and Description
AddElementIterator(net.sourceforge.czt.z.ast.Expr expr, List<net.sourceforge.czt.z.ast.Expr> list, int start, int end) Creates a new iterator over the given list from start position to end position that adds the given expression to each of the element sets returned.

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
DiscreteSet	next() Returns a DiscreteSet containing the expression given in the constructor and all the elements of the current list element.
void	remove() Not supported by this iterator so throws an UnsupportedOperationException when called.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

AddElementIterator

public AddElementIterator(net.sourceforge.czt.z.ast.Expr expr,
                          List<net.sourceforge.czt.z.ast.Expr> list,
                          int start,
                          int end)

Creates a new iterator over the given list from start position to end position that adds the given expression to each of the element sets returned.

Parameters:

expr - the expression to be added to each of the sets returned.

list - the list to be iterated over. It is assumed that the elements of that list are of type Collection.

start - the start position to start iterating from

end - the list position at which the iteration will stop

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<DiscreteSet>

next

public DiscreteSet next()

Returns a DiscreteSet containing the expression given in the constructor and all the elements of the current list element.

Specified by:

next in interface Iterator<DiscreteSet>

Throws:

ClassCastException - if the list element at the current position is not of type @code{Collection}.

remove

public void remove()

Not supported by this iterator so throws an UnsupportedOperationException when called.

Specified by:

remove in interface Iterator<DiscreteSet>