MultiRenamingTable (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.logic.RenamingTable
- - de.uka.ilkd.key.logic.MultiRenamingTable

public class MultiRenamingTable
extends RenamingTable

Fields
Modifier and Type	Field and Description
`private java.util.HashMap<? extends SourceElement,? extends SourceElement>`	`hmap`

Constructors
Constructor and Description
`MultiRenamingTable(java.util.HashMap<? extends SourceElement,? extends SourceElement> hmap)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.util.HashMap<? extends SourceElement,? extends SourceElement>`	`getHashMap()`
`SourceElement`	`getRenaming(SourceElement se)`
`java.util.Iterator<? extends 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

private final java.util.HashMap<? extends SourceElement,? extends SourceElement> hmap

public MultiRenamingTable(java.util.HashMap<? extends SourceElement,? extends SourceElement> hmap)

public SourceElement getRenaming(SourceElement se)

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

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

Class MultiRenamingTable