public abstract class RenamingTable
extends java.lang.Object
Constructor and Description |
---|
RenamingTable() |
Modifier and Type | Method and Description |
---|---|
abstract java.util.HashMap<? extends SourceElement,? extends SourceElement> |
getHashMap() |
abstract SourceElement |
getRenaming(SourceElement se) |
abstract java.util.Iterator<? extends SourceElement> |
getRenamingIterator() |
static RenamingTable |
getRenamingTable(java.util.HashMap<? extends SourceElement,? extends SourceElement> hmap) |
public abstract SourceElement getRenaming(SourceElement se)
public abstract java.util.Iterator<? extends SourceElement> getRenamingIterator()
public static RenamingTable getRenamingTable(java.util.HashMap<? extends SourceElement,? extends SourceElement> hmap)
public abstract java.util.HashMap<? extends SourceElement,? extends SourceElement> getHashMap()