de.uka.ilkd.key.logic

Class SingleRenamingTable

java.lang.Object

de.uka.ilkd.key.logic.RenamingTable

de.uka.ilkd.key.logic.SingleRenamingTable

public class SingleRenamingTable
extends RenamingTable

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	SingleRenamingTable.SingleIterator

Field Summary

Fields

Modifier and Type	Field and Description
(package private) SourceElement	newVar
(package private) SourceElement	oldVar

Constructor Summary

Constructors

Constructor and Description
SingleRenamingTable(SourceElement oldVar, SourceElement newVar)

Method Summary

Modifier and Type	Method and Description
java.util.HashMap<SourceElement,SourceElement>	getHashMap()
SourceElement	getRenaming(SourceElement se)
java.util.Iterator<SourceElement>	getRenamingIterator()
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.logic.RenamingTable

getRenamingTable

Methods inherited from class java.lang.Object

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

Field Detail

oldVar

SourceElement oldVar

newVar

SourceElement newVar

Constructor Detail

SingleRenamingTable

public SingleRenamingTable(SourceElement oldVar,
                           SourceElement newVar)

Method Detail

getRenaming

public SourceElement getRenaming(SourceElement se)

Specified by:

getRenaming in class RenamingTable

getRenamingIterator

public java.util.Iterator<SourceElement> getRenamingIterator()

Specified by:

getRenamingIterator in class RenamingTable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getHashMap

public java.util.HashMap<SourceElement,SourceElement> getHashMap()

Specified by:

getHashMap in class RenamingTable