file_name_manglert Class Reference

Mangle identifiers by including their filename. More...

#include <name_mangler.h>

Public Member Functions
	file_name_manglert ()
irep_idt	operator() (const symbolt &, const std::string &)

Protected Attributes
const std::regex	forbidden
const std::regex	multi_under

Detailed Description

Mangle identifiers by including their filename.

Definition at line 146 of file name_mangler.h.

Constructor & Destructor Documentation

file_name_manglert()

file_name_manglert::file_name_manglert ( )

inline

Definition at line 149 of file name_mangler.h.

Member Function Documentation

operator()()

irep_idt file_name_manglert::operator()	(	const symbolt &	src,
		const std::string &	extra_info
	)

Definition at line 17 of file name_mangler.cpp.

Member Data Documentation

forbidden

const std::regex file_name_manglert::forbidden

protected

Definition at line 157 of file name_mangler.h.

multi_under

const std::regex file_name_manglert::multi_under

protected

Definition at line 158 of file name_mangler.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/goto-programs/name_mangler.h
• /home/runner/work/cbmc/cbmc/src/goto-programs/name_mangler.cpp