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