rename.cpp File Reference

#include "rename.h"
#include <string>
#include "namespace.h"

Include dependency graph for rename.cpp:

Go to the source code of this file.

Functions
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. More...

Function Documentation

get_new_name()

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

Returns

Identifier that is not yet part of the namespace.

Definition at line 16 of file rename.cpp.