public class SingleRenamingTable extends RenamingTable
Modifier and Type | Class and Description |
---|---|
private static class |
SingleRenamingTable.SingleIterator |
Modifier and Type | Field and Description |
---|---|
(package private) SourceElement |
newVar |
(package private) SourceElement |
oldVar |
Constructor and Description |
---|
SingleRenamingTable(SourceElement oldVar,
SourceElement newVar) |
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() |
getRenamingTable
SourceElement oldVar
SourceElement newVar
public SingleRenamingTable(SourceElement oldVar, SourceElement newVar)
public SourceElement getRenaming(SourceElement se)
getRenaming
in class RenamingTable
public java.util.Iterator<SourceElement> getRenamingIterator()
getRenamingIterator
in class RenamingTable
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.HashMap<SourceElement,SourceElement> getHashMap()
getHashMap
in class RenamingTable