Loading...
Searching...
No Matches
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.
Constructs a string describing the given type, which can be used as part of a C identifier.
Detailed Description
Function Documentation
◆ type2name()
◆ type_to_partial_identifier()
std::string type_to_partial_identifier
(
const typet &
type,
)
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.
