de.uka.ilkd.key.logic

Class VariableNamer.AdapterOfIteratorOfNamed

java.lang.Object

de.uka.ilkd.key.logic.VariableNamer.AdapterOfIteratorOfNamed

All Implemented Interfaces:

Iterator<ProgramElementName>

Enclosing class:

VariableNamer

private static class VariableNamer.AdapterOfIteratorOfNamed
extends Object
implements Iterator<ProgramElementName>

adapter from IteratorOfNamed to IteratorOfProgramElementName

Field Summary

Fields

Modifier and Type	Field and Description
private Iterator<Named>	it

Constructor Summary

Constructors

Constructor and Description
AdapterOfIteratorOfNamed(Iterator<Named> it)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
ProgramElementName	next()
void	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

it

private Iterator<Named> it

Constructor Detail

AdapterOfIteratorOfNamed

public AdapterOfIteratorOfNamed(Iterator<Named> it)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<ProgramElementName>

next

public ProgramElementName next()

Specified by:

next in interface Iterator<ProgramElementName>

remove

public void remove()

Specified by:

remove in interface Iterator<ProgramElementName>