RenamingsStorage

Storage for the old-new function name pairs. This is a mutable map that is populated by the RenamingsStorer transformer.

Functions

fun clear()

Clears the stored renamings.

operator fun get(dri: DRI): Renaming?

operator fun set(dri: DRI, renaming: Renaming)

Updates the renaming for the given address.