Mangle identifiers by hashing their working directory with djb2 hash. More...

Public Member Functions
	djb_manglert ()

irep_idt	operator() (const symbolt &, const std::string &)

Detailed Description

Mangle identifiers by hashing their working directory with djb2 hash.

Hashes emitted by objects of this class include the leading 8 digits of the djb2 hash of the file path.

Definition at line 165 of file name_mangler.h.

Constructor & Destructor Documentation

djb_manglert::djb_manglert ( )

inline

Definition at line 168 of file name_mangler.h.

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

Definition at line 34 of file name_mangler.cpp.

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