de.uka.ilkd.key.logic

Class VariableNamer.AdapterOfIteratorOfProgramVariable

java.lang.Object

de.uka.ilkd.key.logic.VariableNamer.AdapterOfIteratorOfProgramVariable

All Implemented Interfaces:

Iterator<ProgramElementName>

Enclosing class:

VariableNamer

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

adapter from IteratorOfProgramVariable to IteratorOfProgramElementName

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
AdapterOfIteratorOfProgramVariable(Iterator<ProgramVariable> 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<ProgramVariable> it

Constructor Detail

AdapterOfIteratorOfProgramVariable

public AdapterOfIteratorOfProgramVariable(Iterator<ProgramVariable> 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>