type2name.h File Reference

Type Naming for C. More...

#include <string>

Include dependency graph for type2name.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
std::string	type2name (const typet &type, const namespacet &ns)
std::string	type_to_partial_identifier (const typet &type, const namespacet &ns)
	Constructs a string describing the given type, which can be used as part of a C identifier. More...

Detailed Description

Type Naming for C.

Definition in file type2name.h.

Function Documentation

type2name()

std::string type2name	(	const typet &	type,
		const namespacet &	ns
	)

Definition at line 277 of file type2name.cpp.

type_to_partial_identifier()

std::string type_to_partial_identifier	(	const typet &	type,
		const namespacet &	ns
	)

Constructs a string describing the given type, which can be used as part of a C identifier.

The resulting identifier is not guaranteed to uniquely identify the type in all cases.

Parameters

type	Internal representation of the type to describe.
ns	Namespace for looking up any types on which the type parameter depends.

Returns

An identifying string which can be used as part of a C identifier.

Definition at line 328 of file type2name.cpp.