de.uka.ilkd.key.strategy.termgenerator

Class SuperTermGenerator.UpwardsIterator

java.lang.Object

de.uka.ilkd.key.strategy.termgenerator.SuperTermGenerator.UpwardsIterator

All Implemented Interfaces:

java.util.Iterator<Term>

Enclosing class:

SuperTermGenerator

class SuperTermGenerator.UpwardsIterator
extends java.lang.Object
implements java.util.Iterator<Term>

Field Summary

Fields

Modifier and Type	Field and Description
private PosInOccurrence	currentPos
private Services	services

Constructor Summary

Constructors

Modifier	Constructor and Description
private	UpwardsIterator(PosInOccurrence startPos, Services services)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Term	next()
void	remove() throw an unsupported operation exception as generators do not remove

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

Field Detail

currentPos

private PosInOccurrence currentPos

services

private final Services services

Constructor Detail

UpwardsIterator

private UpwardsIterator(PosInOccurrence startPos,
                        Services services)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Term>

next

public Term next()

Specified by:

next in interface java.util.Iterator<Term>

remove

public void remove()

throw an unsupported operation exception as generators do not remove

Specified by:

remove in interface java.util.Iterator<Term>