de.uka.ilkd.key.logic

Class SingleRenamingTable.SingleIterator

java.lang.Object

de.uka.ilkd.key.logic.SingleRenamingTable.SingleIterator

All Implemented Interfaces:

java.util.Iterator<SourceElement>

Enclosing class:

SingleRenamingTable

private static class SingleRenamingTable.SingleIterator
extends java.lang.Object
implements java.util.Iterator<SourceElement>

Field Summary

Fields

Modifier and Type	Field and Description
private SourceElement	se

Constructor Summary

Constructors

Constructor and Description
SingleIterator(SourceElement se)

Method Summary

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

se

private SourceElement se

Constructor Detail

SingleIterator

public SingleIterator(SourceElement se)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<SourceElement>

next

public SourceElement next()

Specified by:

next in interface java.util.Iterator<SourceElement>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<SourceElement>