cprover
type2name.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Type Naming for C
4
5
Author: Daniel Kroening, kroening@cs.cmu.edu
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_ANSI_C_TYPE2NAME_H
13
#define CPROVER_ANSI_C_TYPE2NAME_H
14
15
#include <string>
16
17
#include <
util/type.h
>
18
19
class
namespacet
;
20
21
std::string
type2name
(
const
typet
&type,
const
namespacet
&ns);
22
32
std::string
type_to_partial_identifier
(
const
typet
&type,
const
namespacet
&ns);
33
34
#endif // CPROVER_ANSI_C_TYPE2NAME_H
typet
The type of an expression, extends irept.
Definition:
type.h:29
type2name
std::string type2name(const typet &type, const namespacet &ns)
Definition:
type2name.cpp:272
type.h
Defines typet, type_with_subtypet and type_with_subtypest.
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:92
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.
Definition:
type2name.cpp:323
ansi-c
type2name.h
Generated by
1.8.20