Functions

Build and identifier not yet present in the namespace ns based on name.

Function Documentation

irep_idt get_new_name ( const irep_idt & name,

const namespacet & ns,

char delimiter = '_'

)

Build and identifier not yet present in the namespace ns based on name.

If name is not in the namespace, just returns name.

Parameters: name initial candidate identifier

ns namespace

delimiter character to separate the name and a newly generated suffix

Definition at line 16 of file rename.cpp.